Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: 9b861b45 by Stephane Glondu at 2019-08-20T01:46:00Z New upstream version 8.9.1 - - - - - 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 - 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 - dev/build/windows/patches_coq/quickchick.patch - dev/ci/ci-basic-overlay.sh - dev/ci/ci-common.sh - dev/ci/gitlab.bat - dev/doc/critical-bugs - dev/doc/versions-history.tex - dev/tools/backport-pr.sh - doc/common/styles/html/coqremote/header.html - doc/tools/coqrst/coqdomain.py - engine/evd.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/9b861b45146a99e4ef02df3fb760281b7585ba21 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/9b861b45146a99e4ef02df3fb760281b7585ba21 You're receiving this email because of your account on salsa.debian.org.
