Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
-
7ac5a59c
by Julien Puydt at 2023-06-11T10:51:20+02:00
24 changed files:
- .nix/config.nix
- .nix/coq-nix-toolbox.nix
- .nix/coq-overlays/extructures/default.nix
- CHANGELOG.md
- CHANGELOG_UNRELEASED.md
- CONTRIBUTING.md
- + README-CI-Nix.md
- coq-mathcomp-ssreflect.opam
- mathcomp/Make
- mathcomp/_CoqProject
- mathcomp/algebra/Make
- 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
- mathcomp/algebra/poly.v
- mathcomp/algebra/polyXY.v
- mathcomp/algebra/polydiv.v
- mathcomp/algebra/rat.v
- mathcomp/algebra/ssralg.v
- mathcomp/algebra/ssrint.v