Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: 8b939ce1 by Julien Puydt at 2023-06-07T12:47:39+02:00 New upstream version 8.17.0+dfsg - - - - - 26 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 - clib/cMap.ml - clib/cMap.mli - clib/cThread.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/8b939ce19035af82fcfa3ed012ab2b7e2fa7604d -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/8b939ce19035af82fcfa3ed012ab2b7e2fa7604d You're receiving this email because of your account on salsa.debian.org.
