Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq
Commits: 9b861b45 by Stephane Glondu at 2019-08-20T01:46:00Z New upstream version 8.9.1 - - - - - f36a7348 by Stephane Glondu at 2019-08-20T01:46:30Z Update upstream source from tag 'upstream/8.9.1' Update to upstream version '8.9.1' with Debian dir ec937b4a5394ea683991a9e0a2d1886cfb5f9f50 - - - - - a9b50513 by Stephane Glondu at 2019-08-20T01:47:59Z Update changelog - - - - - 1eb5d111 by Stephane Glondu at 2019-08-20T01:50:19Z Refresh patches - - - - - a9c0e311 by Stephane Glondu at 2019-08-20T01:55:37Z Update debian/README.source - - - - - fd94a879 by Stephane Glondu at 2019-08-20T01:56:18Z Remove debian/source/local-options - - - - - aa2b976f by Stephane Glondu at 2019-08-20T02:24:54Z Update COQ_VERSION in debian/rules - - - - - 978e8789 by Stephane Glondu at 2019-08-20T02:25:06Z Remove trailing whitespace - - - - - 2759093a by Stephane Glondu at 2019-08-20T03:08:30Z Bump Standards-Version to 4.4.0 - - - - - b02fc037 by Stephane Glondu at 2019-08-20T03:08:54Z Update changelog - - - - - ee559d60 by Stephane Glondu at 2019-08-20T03:09:51Z Prepare upload to unstable - - - - - 30 changed files: - .gitlab-ci.yml - CHANGES.md - INSTALL - Makefile.build - Makefile.checker - Makefile.ci - Makefile.common - Makefile.doc - Makefile.install - Makefile.vofiles - clib/cList.ml - configure.ml - debian/README.source - debian/changelog - debian/control - − debian/patches/fix-bytecode-build.patch - debian/patches/remove-bytecode-failing-tests.patch - debian/patches/series - − debian/patches/spelling.patch - debian/patches/verbose-build.patch - debian/rules - − debian/source/local-options - default.nix - dev/build/osx/make-macos-dmg.sh - dev/build/windows/MakeCoq_MinGW.bat - dev/build/windows/makecoq_mingw.sh - + dev/build/windows/patches_coq/Flocq.patch - + dev/build/windows/patches_coq/Gappa_Plugin.patch - + dev/build/windows/patches_coq/Gappa_Tool.patch - + dev/build/windows/patches_coq/Interval.patch The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/compare/3fb65c2a42a99bc4208371d0d2a9f9d1c944cc87...ee559d604795b8699bf0de84131174090cace726 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/compare/3fb65c2a42a99bc4208371d0d2a9f9d1c944cc87...ee559d604795b8699bf0de84131174090cace726 You're receiving this email because of your account on salsa.debian.org.
