Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
-
545ac756
by Julien Puydt at 2024-11-29T13:57:08+01:00
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