Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: d0a850eb by Julien Puydt at 2024-08-26T15:52:58+02:00 New upstream version 8.19.2+dfsg - - - - - 1228c4ea by Julien Puydt at 2024-08-26T15:53:05+02:00 Update upstream source from tag 'upstream/8.19.2+dfsg' Update to upstream version '8.19.2+dfsg' with Debian dir b5256b7692a0d67c66d942dab07d05cb428bd0bf - - - - - bebb8935 by Julien Puydt at 2024-08-26T15:56:07+02:00 Package new upstream 8.19.2 - - - - - a46162bf by Julien Puydt at 2024-09-16T07:09:11+02:00 New upstream version 8.20.0+dfsg - - - - - a80f49f8 by Julien Puydt at 2024-09-16T07:09:21+02:00 Update upstream source from tag 'upstream/8.20.0+dfsg' Update to upstream version '8.20.0+dfsg' with Debian dir b48998890ef0a97834fe6a03f64c72c0f5d62b1f - - - - - 32506f5b by Julien Puydt at 2024-09-16T07:10:14+02:00 Package new upstream 8.20 - - - - - 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/-/compare/6be4e9f25548e75477d4980a5d2102abf1a64961...32506f5b91b127ee5cd7f23669bc64c0ac0ba98e -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/6be4e9f25548e75477d4980a5d2102abf1a64961...32506f5b91b127ee5cd7f23669bc64c0ac0ba98e You're receiving this email because of your account on salsa.debian.org.
