Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / coq-doc
Commits: c80b87fc by Stephane Glondu at 2023-08-01T17:03:34+02:00 New upstream version 8.17.0 - - - - - 0cbda766 by Stephane Glondu at 2023-08-12T11:51:06+02:00 New upstream version 8.17.1 - - - - - 23 changed files: - .github/CODEOWNERS - .github/PULL_REQUEST_TEMPLATE.md - .github/workflows/ci-macos.yml - .gitlab-ci.yml - − .ocamlinit - CODE_OF_CONDUCT.md - CONTRIBUTING.md - INSTALL.md - Makefile - − Makefile.build - Makefile.ci - − Makefile.common - − Makefile.dev - − Makefile.doc - − Makefile.dune - − Makefile.ide - − Makefile.install - − Makefile.make - − Makefile.vofiles - boot/usage.ml - checker/checker.ml - clib/cList.ml - clib/cList.mli The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/cd2195360a56d87cd9d670ea70dc719998b3af34...0cbda766b75f8c6f4ebc2d5dde8a9fb0f4c325cb -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/cd2195360a56d87cd9d670ea70dc719998b3af34...0cbda766b75f8c6f4ebc2d5dde8a9fb0f4c325cb You're receiving this email because of your account on salsa.debian.org.
