Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: acae0f05 by Julien Puydt at 2024-03-11T14:09:24+01:00 New upstream version 8.19.1+dfsg - - - - - d81d4e72 by Julien Puydt at 2024-03-11T14:09:29+01:00 Update upstream source from tag 'upstream/8.19.1+dfsg' Update to upstream version '8.19.1+dfsg' with Debian dir 498fbcc0f01ea8a4cd5f4d1c3cf49f947987ca77 - - - - - 4dbc4da6 by Julien Puydt at 2024-03-11T14:19:43+01:00 Package new upstream 8.19.1 - - - - - 107a035c by Julien Puydt at 2024-03-11T15:46:29+01:00 Prepare for upload - - - - - 30 changed files: - .github/workflows/ci-macos.yml - .gitlab-ci.yml - checker/checker.ml - checker/mod_checking.ml - checker/mod_checking.mli - coq-core.opam - coq.opam - debian/changelog - debian/patches/fix_debian_paths.patch - debian/rules - dev/ci/platform/coq-pf-04-installer.bat - dev/doc/critical-bugs - dune-project - interp/notation.ml - kernel/byterun/coq_interp.c - kernel/constant_typing.ml - kernel/inductive.mli - plugins/ltac2/tac2print.ml - test-suite/Makefile - + test-suite/bugs/bug_18594.v - + test-suite/bugs/bug_18636.v - test-suite/misc/non-marshalable-state.sh - test-suite/output/activation.out - test-suite/output/activation.v - test-suite/output/bug_16219.out - test-suite/output/bug_16716.out - test-suite/output/bug_17155.out - test-suite/output/library_attributes_require.out - test-suite/output/library_attributes_require.v - test-suite/output/library_attributes_require_transitive.out The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/76ea972b08cecc08b7edc642cab46d7c8c35dad8...107a035ce158c52e14922dcab1cc0483a19a9e61 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/76ea972b08cecc08b7edc642cab46d7c8c35dad8...107a035ce158c52e14922dcab1cc0483a19a9e61 You're receiving this email because of your account on salsa.debian.org.