Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
-
cef794f5
by Ralf Treinen at 2021-01-02T13:38:00+01:00
20 changed files:
- CHANGELOG.md
- CONTRIBUTING.md
- INSTALL.md
- 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
- mathcomp/Make
- mathcomp/Make.test-suite
- mathcomp/Makefile.common
- + mathcomp/Makefile.test-suite.coq.local
- mathcomp/_CoqProject
- mathcomp/algebra/Make
- mathcomp/algebra/countalg.v
- mathcomp/algebra/finalg.v
- mathcomp/algebra/intdiv.v