Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: 48e95990 by Julien Puydt at 2025-01-27T15:10:01+01:00 New upstream version 8.20.1+dfsg - - - - - 30 changed files: - .github/workflows/ci-macos.yml - .github/workflows/ci-windows.yml - .gitlab-ci.yml - dev/ci/ci-common.sh - dev/ci/ci-http.sh - dev/ci/docker/edge_ubuntu/Dockerfile - dev/ci/platform/coq-pf-03-build.bat - + dev/tools/pipeline-stats.py - doc/tools/docgram/common.edit_mlg - doc/tools/docgram/orderedGrammar - engine/eConstr.ml - engine/univSubst.ml - interp/constrexpr_ops.ml - interp/constrextern.ml - interp/notation.ml - interp/notationextern.mli - kernel/constant_typing.ml - kernel/context.ml - kernel/context.mli - kernel/inductive.ml - library/lib.ml - library/lib.mli - parsing/extend.ml - parsing/extend.mli - parsing/notgram_ops.ml - plugins/funind/functional_principles_types.ml - tactics/btermdn.ml - + test-suite/bugs/bug_19661.v - + test-suite/bugs/bug_19712.v - test-suite/output/Notations3.out The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/48e959902f710a8683e4c6dba612cdd4bde9e2aa -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/48e959902f710a8683e4c6dba612cdd4bde9e2aa You're receiving this email because of your account on salsa.debian.org.
