Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits: 3d852571 by Julien Puydt at 2024-04-15T09:07:04+02:00 New upstream version 8.19.1 - - - - - bc3c87b9 by Julien Puydt at 2024-04-15T09:07:27+02:00 Update upstream source from tag 'upstream/8.19.1' Update to upstream version '8.19.1' with Debian dir 8db3eb7ba41eb4a9a4bffa1f5ee8acfb3256cae4 - - - - - b0839a6a by Julien Puydt at 2024-04-15T09:08:39+02:00 Package new upstream 8.19.1 - - - - - 30 changed files: - .github/CODEOWNERS - .github/workflows/ci-macos.yml - .gitlab-ci.yml - CODE_OF_CONDUCT.md - CONTRIBUTING.md - Makefile - Makefile.ci - README.md - checker/check.ml - checker/checkInductive.ml - checker/checkTypes.ml - checker/checker.ml - checker/mod_checking.ml - checker/mod_checking.mli - checker/values.ml - clib/cList.ml - clib/cMap.ml - clib/cMap.mli - clib/cString.ml - clib/cString.mli - clib/hMap.ml - clib/int.ml - coq-core.opam - + coq-core.opam.template - coq-doc.opam - coq-stdlib.opam - + coq-stdlib.opam.template - coq.opam - + coq.opam.template - coqide-server.opam The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/1db7b5d143643524fba72faa089c98ea7a53c930...b0839a6a33092bde242432c4812fa28c621999c5 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/1db7b5d143643524fba72faa089c98ea7a53c930...b0839a6a33092bde242432c4812fa28c621999c5 You're receiving this email because of your account on salsa.debian.org.
