Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
-
acae0f05
by Julien Puydt at 2024-03-11T14:09:24+01:00
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