Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
-
2248765d
by Julien Puydt at 2023-11-04T11:47:42+01:00
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