Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits: 8712545f by Julien Puydt at 2024-12-26T21:32:30+01:00 New upstream version 8.20.0 - - - - - 3461872f by Julien Puydt at 2024-12-26T21:32:44+01:00 Update upstream source from tag 'upstream/8.20.0' Update to upstream version '8.20.0' with Debian dir 594f534aeb8fdc36be5983b319e5da94768a0bc1 - - - - - d402874c by Julien Puydt at 2024-12-26T21:33:13+01:00 Package new upstream 8.20.0 - - - - - da382ba3 by Julien Puydt at 2024-12-26T21:46:51+01:00 Bump standards-version to 4.7.0 - - - - - f4446a7e by Julien Puydt at 2024-12-26T21:47:02+01:00 Prepare for upload - - - - - 30 changed files: - .github/CODEOWNERS - − .github/ISSUE_TEMPLATE.md - + .github/ISSUE_TEMPLATE/bug_report.yml - + .github/ISSUE_TEMPLATE/config.yml - + .github/ISSUE_TEMPLATE/feature_request.yml - .github/workflows/ci-macos.yml - .gitlab-ci.yml - INSTALL.md - Makefile - Makefile.ci - README.md - boot/usage.ml - checker/check.ml - checker/checkInductive.ml - checker/check_stat.ml - checker/checker.ml - checker/dune - checker/mod_checking.ml - checker/mod_checking.mli - checker/safe_checking.ml - checker/safe_checking.mli - checker/values.ml - checker/values.mli - checker/votour.ml - clib/cArray.ml - clib/cArray.mli - clib/cList.ml - clib/cList.mli - clib/cMap.ml - clib/cMap.mli The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/e7cc15930da6c45bd9676bfc9013e2710aadc63e...f4446a7e1b60fc27df60799c005d6f204f8f0224 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/e7cc15930da6c45bd9676bfc9013e2710aadc63e...f4446a7e1b60fc27df60799c005d6f204f8f0224 You're receiving this email because of your account on salsa.debian.org.
