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: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/ab29d8dd5f8a55c4150ff46cb5714fbcc5b2aa07...fe3bda782675b9c5355ee3b514fd3c6d7117bf11 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/ab29d8dd5f8a55c4150ff46cb5714fbcc5b2aa07...fe3bda782675b9c5355ee3b514fd3c6d7117bf11 You're receiving this email because of your account on salsa.debian.org.
