Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits: 2248765d by Julien Puydt at 2023-11-04T11:47:42+01:00 New upstream version 2.1.0 - - - - - 29 changed files: - .nix/config.nix - .nix/coq-nix-toolbox.nix - − .nix/coq-overlays/coquelicot/default.nix - − .nix/coq-overlays/mathcomp/default.nix - CHANGELOG.md - INSTALL.md - README-CI-Nix.md - README.md - coq-mathcomp-ssreflect.opam - etc/porting_to_mathcomp2/porting.pdf - etc/porting_to_mathcomp2/porting.tex - etc/utils/builddoc_lib.sh - mathcomp/Make - mathcomp/Makefile.common - mathcomp/_CoqProject - mathcomp/algebra/Make - mathcomp/algebra/all_algebra.v - + mathcomp/algebra/archimedean.v - mathcomp/algebra/finalg.v - mathcomp/algebra/intdiv.v - mathcomp/algebra/matrix.v - mathcomp/algebra/mxalgebra.v - mathcomp/algebra/mxpoly.v - mathcomp/algebra/poly.v - mathcomp/algebra/polyXY.v - mathcomp/algebra/polydiv.v - + mathcomp/algebra/qpoly.v - mathcomp/algebra/rat.v - mathcomp/algebra/ssralg.v The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/2248765d84772c4846f874cbb24f15f2082d4277 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/2248765d84772c4846f874cbb24f15f2082d4277 You're receiving this email because of your account on salsa.debian.org.
