Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits:
-
acae0f05
by Julien Puydt at 2024-03-11T14:09:24+01:00
-
d81d4e72
by Julien Puydt at 2024-03-11T14:09:29+01:00
-
4dbc4da6
by Julien Puydt at 2024-03-11T14:19:43+01:00
-
107a035c
by Julien Puydt at 2024-03-11T15:46:29+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
- 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