Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
687951eb
by Ralf Treinen at 2019-08-20T07:22:08Z
-
7b8e848a
by Ralf Treinen at 2019-08-20T07:22:22Z
-
0f904153
by Ralf Treinen at 2019-08-20T07:26:07Z
-
bcc5a7da
by Ralf Treinen at 2019-08-20T07:32:12Z
-
03a83188
by Ralf Treinen at 2019-08-20T07:50:11Z
27 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
- debian/changelog
- debian/control
- debian/libssreflect-coq.docs
- 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