Julien Puydt pushed to branch upstream 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 - - - - - 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 - 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 - test-suite/output/library_attributes_require_transitive.v - test-suite/output/ltac2_bt.out - test-suite/output/ltac2_notations_eval_in.out The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/acae0f05e32c0854d80e75444ca3a6a80af39988 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/acae0f05e32c0854d80e75444ca3a6a80af39988 You're receiving this email because of your account on salsa.debian.org.
