Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: 8b939ce1 by Julien Puydt at 2023-06-07T12:47:39+02:00 New upstream version 8.17.0+dfsg - - - - - 2eebdcb8 by Julien Puydt at 2023-06-07T12:47:50+02:00 Update upstream source from tag 'upstream/8.17.0+dfsg' Update to upstream version '8.17.0+dfsg' with Debian dir 8902778c0a30a38cbbc48364d5465942e5b37966 - - - - - 877ac21b by Julien Puydt at 2023-06-07T12:49:24+02:00 Package new upstream 8.17.0 - - - - - dcec1556 by Julien Puydt at 2023-06-07T12:53:36+02:00 Refresh patches - - - - - e2d4c1fc by Julien Puydt at 2023-06-07T15:03:51+02:00 Refresh lintian overrides - - - - - 0b565f40 by Julien Puydt at 2023-06-07T16:46:00+02:00 Fix build - - - - - 782a648b by Julien Puydt at 2023-06-11T07:52:40+02:00 Bump standards-version to 4.6.2 - - - - - 92fdeacd by Julien Puydt at 2023-06-11T21:44:49+02:00 Add a patch to work around a problem in coq-unimath - - - - - 0eb4be7d by Julien Puydt at 2023-06-12T08:54:28+02:00 Prepare for upload - - - - - 26 changed files: - .github/CODEOWNERS - .github/PULL_REQUEST_TEMPLATE.md - .github/workflows/ci-macos.yml - .gitlab-ci.yml - − .ocamlinit - CODE_OF_CONDUCT.md - CONTRIBUTING.md - INSTALL.md - Makefile - − Makefile.build - Makefile.ci - − Makefile.common - − Makefile.dev - − Makefile.doc - − Makefile.dune - − Makefile.ide - − Makefile.install - − Makefile.make - − Makefile.vofiles - boot/usage.ml - checker/checker.ml - clib/cList.ml - clib/cList.mli - clib/cMap.ml - clib/cMap.mli - clib/cThread.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/57573299acb902d8ddf0795fe3998c263d5ccfd0...0eb4be7d4a947549610033fe3a13ea0fd0af7e10 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/57573299acb902d8ddf0795fe3998c263d5ccfd0...0eb4be7d4a947549610033fe3a13ea0fd0af7e10 You're receiving this email because of your account on salsa.debian.org.
