Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: c01d406b by Julien Puydt at 2022-11-25T16:09:35+01:00 New upstream version 8.16.1+dfsg - - - - - 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 - 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 - + ide/coqide/shared_X11.ml.in - + ide/coqide/shared_os_specific.mli - kernel/byterun/coq_interp.c - kernel/cClosure.ml - kernel/nativeconv.ml - kernel/nativelambda.ml - kernel/parray.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/c01d406b9b8470cfd1eb1804182b9620f9425b95 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/c01d406b9b8470cfd1eb1804182b9620f9425b95 You're receiving this email because of your account on salsa.debian.org.
