Julien Puydt pushed to branch master 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 - - - - - 917346c6 by Julien Puydt at 2022-11-25T16:09:46+01:00 Update upstream source from tag 'upstream/8.16.1+dfsg' Update to upstream version '8.16.1+dfsg' with Debian dir 380f765a827620b5ebb14f433d5ecf19d43a22cd - - - - - 8906ded8 by Julien Puydt at 2022-11-25T16:49:10+01:00 Package new upstream 8.16.1 - - - - - 9db4a2b2 by Julien Puydt at 2022-11-25T16:49:15+01:00 Remove lintian overrides - - - - - 57573299 by Julien Puydt at 2022-11-29T09:28:16+01:00 Prepare for upload - - - - - 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 - debian/rules - − debian/source/lintian-overrides - + 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/5d6d7eab308bdddcd9d117334207d9f048cd881a...57573299acb902d8ddf0795fe3998c263d5ccfd0 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/5d6d7eab308bdddcd9d117334207d9f048cd881a...57573299acb902d8ddf0795fe3998c263d5ccfd0 You're receiving this email because of your account on salsa.debian.org.
