[Git][ocaml-team/ssreflect][master] 3 commits: New upstream version 2.0.0

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

Title: GitLab

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

Commits:

• 9a3a06ee
  by Julien Puydt at 2023-09-27T08:56:50+02:00

  New upstream version 2.0.0

• d31c225d
  by Julien Puydt at 2023-09-27T08:56:55+02:00

  Update upstream source from tag 'upstream/2.0.0'
  
  Update to upstream version '2.0.0'
  with Debian dir 2c3d2a673fb357f8c35f9d88deaec48b71c5bc58

• 813257a3
  by Julien Puydt at 2023-09-27T09:13:00+02:00

  Package new upstream 2.0.0
  

25 changed files:

• .nix/config.nix
• + .nix/coq-overlays/coquelicot/default.nix
• + .nix/coq-overlays/mathcomp-classical/default.nix
• .nix/coq-overlays/mathcomp-single/default.nix
• + .nix/coq-overlays/mathcomp/default.nix
• + .vscode/settings.json
• CHANGELOG.md
• CONTRIBUTING.md
• Dockerfile.make
• 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/control
• + etc/porting_to_mathcomp2/Makefile
• + etc/porting_to_mathcomp2/eqtype_hier.png
• + etc/porting_to_mathcomp2/porting.bib
• + etc/porting_to_mathcomp2/porting.pdf
• + etc/porting_to_mathcomp2/porting.tex
• mathcomp/Make
• mathcomp/_CoqProject
• mathcomp/algebra/countalg.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. Manage all notifications · Help