Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: 4ffe0aad by Julien Puydt at 2024-02-09T11:02:00+01:00 New upstream version 8.19.0+dfsg - - - - - a7a107d3 by Julien Puydt at 2024-02-09T11:02:11+01:00 Update upstream source from tag 'upstream/8.19.0+dfsg' Update to upstream version '8.19.0+dfsg' with Debian dir 4ce92eb4795b5e9aa621b674d09b7b4427b1b70e - - - - - 52913226 by Julien Puydt at 2024-02-09T11:25:19+01:00 Package new upstream 8.19.0 - - - - - 508f38cc by Julien Puydt at 2024-02-09T11:25:23+01:00 Refresh patches - - - - - 76ea972b by Julien Puydt at 2024-02-24T09:50:22+01:00 Prepare for upload - - - - - 30 changed files: - .github/CODEOWNERS - .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/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 - coqide.opam - coqpp/coqpp_main.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/76e4ed7289bd9574c9d91a36cef38de11b3db77c...76ea972b08cecc08b7edc642cab46d7c8c35dad8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/76e4ed7289bd9574c9d91a36cef38de11b3db77c...76ea972b08cecc08b7edc642cab46d7c8c35dad8 You're receiving this email because of your account on salsa.debian.org.
