Julien Puydt pushed to branch master 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 - - - - - 83afca94 by Julien Puydt at 2022-09-11T14:08:09+02:00 Update upstream source from tag 'upstream/8.16.0' Update to upstream version '8.16.0' with Debian dir fc71fbcc0f0f7af25fea99f1b1f98ad6256b262d - - - - - 556aa51a by Julien Puydt at 2022-09-11T14:26:53+02:00 Package new upstream release 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/-/compare/d786030b1100fd5df0f779e9accbb9520a656328...556aa51a02957a67803f72b6bb638405ca843964 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/d786030b1100fd5df0f779e9accbb9520a656328...556aa51a02957a67803f72b6bb638405ca843964 You're receiving this email because of your account on salsa.debian.org.
