Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: 0ebb8840 by Julien Puydt at 2022-01-17T10:00:36+01:00 Drop some Files-Excluded from d/copyright (removed upstream) - - - - - 03d729d5 by Julien Puydt at 2022-01-17T10:19:52+01:00 New upstream version 8.15.0+dfsg - - - - - 3b65a107 by Julien Puydt at 2022-01-17T10:19:52+01:00 Package new upstream 8.15.0 (Closes: #1003586) - - - - - 1c70c0e7 by Julien Puydt at 2022-01-17T10:19:56+01:00 Refresh patches - - - - - c54b55bf by Julien Puydt at 2022-01-17T10:19:56+01:00 Refresh lintian overrides - - - - - 6b2540b9 by Julien Puydt at 2022-01-17T12:27:07+01:00 Prepare for upload - - - - - 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/-/compare/e0160c4d3188e6fe87307a282a3814a044bc12b5...6b2540b9a800b56558b08bf8eaa9464dfcef2b8f -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/e0160c4d3188e6fe87307a282a3814a044bc12b5...6b2540b9a800b56558b08bf8eaa9464dfcef2b8f You're receiving this email because of your account on salsa.debian.org.
