[Git][ocaml-team/coq][upstream] New upstream version 8.9.1

[Stéphane Glondu <gitlab@salsa.debian.org>]

Title: GitLab

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.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.