[Git][ocaml-team/ssreflect][master] 5 commits: New upstream version 1.15.0

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect

Commits:

• f7e3d5c0
  by Julien Puydt at 2022-07-05T08:22:08+02:00

  New upstream version 1.15.0

• 4095c7c0
  by Julien Puydt at 2022-07-05T08:22:12+02:00

  Update upstream source from tag 'upstream/1.15.0'
  
  Update to upstream version '1.15.0'
  with Debian dir 26c0559358786eaebcd8be56ff55b27f9ef2a659

• 0c5639fc
  by Julien Puydt at 2022-07-05T08:22:37+02:00

  Package new upstream 1.15.0
  

• 1f64a160
  by Julien Puydt at 2022-07-05T08:26:39+02:00

  Rewrite the autopkgtest
  

• e2d14b77
  by Julien Puydt at 2022-07-05T08:55:49+02:00

  Prepare for upload
  

30 changed files:

• .dockerignore
• .nix/config.nix
• .nix/coq-nix-toolbox.nix
• CHANGELOG.md
• CHANGELOG_UNRELEASED.md
• CONTRIBUTING.md
• Dockerfile
• Dockerfile.make
• _CoqProject
• coq-mathcomp-algebra.opam
• coq-mathcomp-character.opam
• coq-mathcomp-field.opam
• coq-mathcomp-fingroup.opam
• coq-mathcomp-solvable.opam
• coq-mathcomp-ssreflect.opam
• debian/changelog
• debian/tests/control
• − debian/tests/loadssreflect
• − debian/tests/loadssreflect.v
• etc/utils/builddoc_lib.sh
• mathcomp/Make
• mathcomp/Make.test-suite
• mathcomp/Makefile.test-suite.coq.local
• mathcomp/_CoqProject
• mathcomp/algebra/Make
• mathcomp/algebra/fraction.v
• mathcomp/algebra/intdiv.v
• mathcomp/algebra/interval.v
• mathcomp/algebra/matrix.v
• mathcomp/algebra/mxalgebra.v

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.