Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
-
687951eb
by Ralf Treinen at 2019-08-20T07:22:08Z
24 changed files:
- + .dockerignore
- .travis.yml
- + CHANGELOG.md
- CONTRIBUTING.md
- − ChangeLog
- + Dockerfile
- + Dockerfile.make
- INSTALL.md
- README.md
- mathcomp/algebra/opam → coq-mathcomp-algebra.opam
- mathcomp/character/opam → coq-mathcomp-character.opam
- mathcomp/field/opam → coq-mathcomp-field.opam
- mathcomp/fingroup/opam → coq-mathcomp-fingroup.opam
- mathcomp/solvable/opam → coq-mathcomp-solvable.opam
- mathcomp/ssreflect/opam → coq-mathcomp-ssreflect.opam
- docs/htmldoc/depend
- docs/htmldoc/depend.js
- docs/htmldoc/index.html
- docs/htmldoc/index_abbreviation_*.html
- docs/htmldoc/index_abbreviation_A.html
- docs/htmldoc/index_abbreviation_B.html
- docs/htmldoc/index_abbreviation_C.html
- docs/htmldoc/index_abbreviation_D.html
- docs/htmldoc/index_abbreviation_E.html