Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
cef794f5
by Ralf Treinen at 2021-01-02T13:38:00+01:00
-
6c2737bc
by Ralf Treinen at 2021-01-02T13:39:38+01:00
-
be4be4a6
by Ralf Treinen at 2021-01-02T15:28:05+01:00
-
519871a3
by Ralf Treinen at 2021-01-02T15:40:23+01:00
23 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
- debian/changelog
- debian/control
- debian/tests/loadssreflect.v
- 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