Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits: 687951eb by Ralf Treinen at 2019-08-20T07:22:08Z New upstream version 1.9.0+dfsg - - - - - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/commit/687951ebb9387dc1d0c5779a9e4c2074463c7415 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/commit/687951ebb9387dc1d0c5779a9e4c2074463c7415 You're receiving this email because of your account on salsa.debian.org.
