Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: 711e564b by Julien Puydt at 2022-01-17T10:01:07+01:00 New upstream version 8.15.0+dfsg - - - - - 30 changed files: - .github/CODEOWNERS - .github/PULL_REQUEST_TEMPLATE.md - .github/workflows/ci.yml - + .github/workflows/stale.yml - .gitlab-ci.yml - CONTRIBUTING.md - INSTALL.md - Makefile.build - Makefile.ci - Makefile.common - Makefile.dev - Makefile.doc - Makefile.dune - Makefile.ide - Makefile.install - Makefile.make - Makefile.vofiles - README.md - + boot/dune - + boot/env.ml - + boot/env.mli - theories/Compat/Coq812.v → boot/path.ml - + boot/util.ml - checker/check.ml - checker/checkFlags.ml - checker/checkInductive.ml - checker/check_stat.ml - checker/checker.ml - checker/dune - checker/include The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/711e564b3992cd6998363c143980b9626ac00862 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/711e564b3992cd6998363c143980b9626ac00862 You're receiving this email because of your account on salsa.debian.org.
