Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
-
f7e3d5c0
by Julien Puydt at 2022-07-05T08:22:08+02:00
30 changed files:
- .dockerignore
- .nix/config.nix
- .nix/coq-nix-toolbox.nix
- CHANGELOG.md
- CHANGELOG_UNRELEASED.md
- CONTRIBUTING.md
- Dockerfile
- Dockerfile.make
- _CoqProject
- coq-mathcomp-algebra.opam
- coq-mathcomp-character.opam
- coq-mathcomp-field.opam
- coq-mathcomp-fingroup.opam
- coq-mathcomp-solvable.opam
- coq-mathcomp-ssreflect.opam
- etc/utils/builddoc_lib.sh
- mathcomp/Make
- mathcomp/Make.test-suite
- mathcomp/Makefile.test-suite.coq.local
- mathcomp/_CoqProject
- mathcomp/algebra/Make
- 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