Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits: 545ac756 by Julien Puydt at 2024-11-29T13:57:08+01:00 New upstream version 2.3.0 - - - - - 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 - 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 - mathcomp/algebra/mxalgebra.v - mathcomp/algebra/mxpoly.v The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/545ac756611ba317587dd2969178d93d7ff89949 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/545ac756611ba317587dd2969178d93d7ff89949 You're receiving this email because of your account on salsa.debian.org.
