Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
f7975435
by Julien Puydt at 2024-01-24T11:15:08+01:00
-
ac86e01b
by Julien Puydt at 2024-01-24T11:15:13+01:00
-
92658205
by Julien Puydt at 2024-01-24T11:17:54+01:00
-
e6833166
by Julien Puydt at 2024-01-25T06:34:39+01:00
30 changed files:
- .nix/config.nix
- .nix/coq-nix-toolbox.nix
- CHANGELOG.md
- CHANGELOG_UNRELEASED.md
- CONTRIBUTING.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
- mathcomp/Make
- mathcomp/_CoqProject
- mathcomp/algebra/Make
- mathcomp/algebra/finalg.v
- mathcomp/algebra/fraction.v
- mathcomp/algebra/matrix.v
- mathcomp/algebra/poly.v
- mathcomp/algebra/qpoly.v
- mathcomp/algebra/ring_quotient.v
- mathcomp/algebra/ssralg.v
- mathcomp/algebra/ssrint.v
- mathcomp/algebra/ssrnum.v
- mathcomp/algebra/vector.v
- mathcomp/character/Make
- mathcomp/character/classfun.v
- mathcomp/character/mxabelem.v
- mathcomp/field/Make
- mathcomp/field/algC.v