Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc
Commits: 1edc2d94 by Julien Puydt at 2022-09-11T14:07:30+02:00 New upstream version 8.16.0 - - - - - 30 changed files: - .github/CODEOWNERS - .github/PULL_REQUEST_TEMPLATE.md - .github/workflows/ci-macos.yml - .github/workflows/ci-windows.yml.disabled → .github/workflows/ci-windows.yml - .github/workflows/stale.yml - .gitlab-ci.yml - − .ocamlformat - + .ocp-indent - CONTRIBUTING.md - INSTALL.md - Makefile.build - Makefile.ci - Makefile.common - Makefile.doc - + Makefile.docgram - Makefile.dune - Makefile.ide - Makefile.install - Makefile.make - README.md - sysinit/usage.ml → boot/usage.ml - sysinit/usage.mli → boot/usage.mli - checker/check.ml - checker/checkFlags.ml - checker/checkFlags.mli - checker/checkInductive.ml - checker/checker.ml - checker/mod_checking.ml - checker/mod_checking.mli - checker/values.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/1edc2d9463ec25d0bb5ef44a67ef6631571ff06d -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/1edc2d9463ec25d0bb5ef44a67ef6631571ff06d You're receiving this email because of your account on salsa.debian.org.
