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

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

Title: GitLab

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

Commits:

• 545ac756
  by Julien Puydt at 2024-11-29T13:57:08+01:00

  New upstream version 2.3.0

• 57634828
  by Julien Puydt at 2024-11-29T13:57:11+01:00

  Update upstream source from tag 'upstream/2.3.0'
  
  Update to upstream version '2.3.0'
  with Debian dir f4d50c573148ce5f14d7063d84366e13aeabf206

• 1c8072ac
  by Julien Puydt at 2024-11-29T13:57:27+01:00

  Package new upstream 2.3.0
  

• 7f8a6cc2
  by Julien Puydt at 2024-12-18T09:49:02+01:00

  Bump standards-version to 4.7.0
  

• f9898251
  by Julien Puydt at 2024-12-18T12:14:17+01:00

  Prepare for upload
  

30 changed files:

• .nix/config.nix
• .nix/coq-nix-toolbox.nix
• − .nix/coq-overlays/mathcomp-classical/default.nix
• + .nix/coq-overlays/mathcomp-warnings/default.nix
• CHANGELOG.md
• CHANGELOG_UNRELEASED.md
• CONTRIBUTING.md
• Dockerfile
• INSTALL.md
• README-CI-Nix.md
• README.md
• _CoqProject
• coq-mathcomp-ssreflect.opam
• debian/changelog
• debian/control
• etc/ANNOUNCE-github.md
• etc/utils/builddoc_lib.sh
• etc/utils/packager
• mathcomp/Make
• mathcomp/Make.test-suite
• mathcomp/_CoqProject
• mathcomp/algebra/Make
• mathcomp/algebra/all_algebra.v
• mathcomp/algebra/archimedean.v
• mathcomp/algebra/countalg.v
• mathcomp/algebra/finalg.v
• mathcomp/algebra/fraction.v
• mathcomp/algebra/intdiv.v
• mathcomp/algebra/interval.v
• mathcomp/algebra/matrix.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