Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
9145ed68
by Ralf Treinen at 2020-09-10T23:35:58+02:00
-
74648cab
by Ralf Treinen at 2020-09-10T23:38:00+02:00
-
d666ce3f
by Ralf Treinen at 2020-09-11T08:31:12+02:00
-
02a6ba6b
by Ralf Treinen at 2020-09-11T08:33:03+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
- debian/changelog
- debian/control
- debian/rules
- + 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