Julien Puydt pushed to branch upstream 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 - - - - - 30 changed files: - .github/workflows/check-conflicts.yml - .github/workflows/ci-macos.yml - .github/workflows/ci-windows.yml - .gitlab-ci.yml - coq-doc.opam - + 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 - + ide/coqide/shared_X11.c.in The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/cd2195360a56d87cd9d670ea70dc719998b3af34 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/cd2195360a56d87cd9d670ea70dc719998b3af34 You're receiving this email because of your account on salsa.debian.org.
