[Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.16.1

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc

Commits:

• cd219536
  by Julien Puydt at 2022-12-09T21:36:11+01:00

  New upstream version 8.16.1

• a52c570e
  by Julien Puydt at 2022-12-09T21:36:36+01:00

  Update upstream source from tag 'upstream/8.16.1'
  
  Update to upstream version '8.16.1'
  with Debian dir 13b6d0a1b1351caf34548dc58ebfc90b5a35443c

• fe3bda78
  by Julien Puydt at 2022-12-09T21:55:20+01:00

  Package new upstream 8.16.1
  

30 changed files:

• .github/workflows/check-conflicts.yml
• .github/workflows/ci-macos.yml
• .github/workflows/ci-windows.yml
• .gitlab-ci.yml
• coq-doc.opam
• debian/changelog
• + dev/ci/user-overlays/16434-SkySkimmer-assumptions-vos.sh
• dev/doc/critical-bugs
• doc/sphinx/addendum/micromega.rst
• doc/sphinx/changes.rst
• doc/sphinx/language/core/modules.rst
• doc/sphinx/practical-tools/coqide.rst
• doc/sphinx/practical-tools/utilities.rst
• doc/sphinx/proof-engine/tactics.rst
• doc/sphinx/proof-engine/vernacular-commands.rst
• dune-project
• ide/coqide/coq.ml
• ide/coqide/coqide.ml
• ide/coqide/coqide_WIN32.c.in
• ide/coqide/coqide_WIN32.ml.in
• ide/coqide/coqide_main.ml
• ide/coqide/dune
• ide/coqide/idetop.ml
• ide/coqide/preferences.ml
• + ide/coqide/shared.ml
• + ide/coqide/shared.mli
• + ide/coqide/shared_QUARTZ.c.in
• + ide/coqide/shared_QUARTZ.ml.in
• + ide/coqide/shared_WIN32.c.in
• + ide/coqide/shared_WIN32.ml.in

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. Manage all notifications · Help