Julien Puydt pushed to branch master 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 - - - - - 84913cd8 by Julien Puydt at 2025-01-27T15:10:08+01:00 Update upstream source from tag 'upstream/8.20.1+dfsg' Update to upstream version '8.20.1+dfsg' with Debian dir de579ea5a5e81897ecbe969ddacfca0480ebe242 - - - - - ddcc86e0 by Julien Puydt at 2025-01-31T10:08:22+01:00 Package new upstream 8.20.1 - - - - - 2eac7823 by Julien Puydt at 2025-02-15T15:19:23+01:00 Prepare for upload - - - - - 30 changed files: - .github/workflows/ci-macos.yml - .github/workflows/ci-windows.yml - .gitlab-ci.yml - debian/changelog - debian/rules - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/18367e093b561bad269c7ad6da1917b415d814e1...2eac78239cb9b6fb2486c21e0cd0449f566c2ddb -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/18367e093b561bad269c7ad6da1917b415d814e1...2eac78239cb9b6fb2486c21e0cd0449f566c2ddb You're receiving this email because of your account on salsa.debian.org.
