Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: 687951eb by Ralf Treinen at 2019-08-20T07:22:08Z New upstream version 1.9.0+dfsg - - - - - 7b8e848a by Ralf Treinen at 2019-08-20T07:22:22Z Update upstream source from tag 'upstream/1.9.0+dfsg' Update to upstream version '1.9.0+dfsg' with Debian dir a6ccf23bf271725101645be5d8739adb54b5c80a - - - - - 0f904153 by Ralf Treinen at 2019-08-20T07:26:07Z bump build-dep on coq - - - - - bcc5a7da by Ralf Treinen at 2019-08-20T07:32:12Z standards-version 4.4.0 - - - - - 03a83188 by Ralf Treinen at 2019-08-20T07:50:11Z installation of doc files: update name of upstream changelog file - - - - - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/compare/3249023d442fa5e0e4a484aa477222ad57b80692...03a8318804015731d9008cf270810a68697a0dbb -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/compare/3249023d442fa5e0e4a484aa477222ad57b80692...03a8318804015731d9008cf270810a68697a0dbb You're receiving this email because of your account on salsa.debian.org.
