Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits: 489c8fa1 by Julien Puydt at 2024-01-25T13:42:08+01:00 New upstream version 8.18.0 - - - - - 33d22108 by Julien Puydt at 2024-01-25T13:42:32+01:00 Update upstream source from tag 'upstream/8.18.0' Update to upstream version '8.18.0' with Debian dir a7011fc139575ba71e765e80ec9ebc770e17836f - - - - - 1db7b5d1 by Julien Puydt at 2024-01-25T13:58:44+01:00 Package new upstream 8.18.0 - - - - - 30 changed files: - .github/workflows/ci-macos.yml - .gitlab-ci.yml - CODE_OF_CONDUCT.md - CONTRIBUTING.md - Makefile.ci - boot/env.ml - + boot/path.mli - boot/usage.ml - + boot/util.mli - checker/check.ml - checker/checkFlags.ml - checker/checkInductive.ml - checker/checkTypes.ml - checker/checker.ml - checker/mod_checking.ml - checker/values.ml - checker/votour.ml - clib/cList.ml - clib/cList.mli - clib/cMap.ml - clib/cMap.mli - clib/dyn.ml - clib/dyn.mli - clib/hMap.ml - clib/option.ml - clib/option.mli - + clib/polyMap.ml - + clib/polyMap.mli - + clib/unicodetable.mli - config/list_plugins.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/208aa272ab86faedbd971d021c6011e3dee3ddfa...1db7b5d143643524fba72faa089c98ea7a53c930 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/208aa272ab86faedbd971d021c6011e3dee3ddfa...1db7b5d143643524fba72faa089c98ea7a53c930 You're receiving this email because of your account on salsa.debian.org.
