Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
-
9145ed68
by Ralf Treinen at 2020-09-10T23:35:58+02:00
30 changed files:
- CHANGELOG.md
- CHANGELOG_UNRELEASED.md
- CONTRIBUTING.md
- Dockerfile
- Dockerfile.make
- README.md
- + config.nix
- coq-mathcomp-algebra.opam
- coq-mathcomp-character.opam
- coq-mathcomp-field.opam
- coq-mathcomp-fingroup.opam
- coq-mathcomp-solvable.opam
- coq-mathcomp-ssreflect.opam
- + default.nix
- etc/utils/hierarchy.ml
- etc/utils/packager
- mathcomp/Make
- mathcomp/Make.test-suite
- 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/polydiv.v
- mathcomp/algebra/rat.v
- mathcomp/algebra/ssralg.v