Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: 7af584de by Julien Puydt at 2021-11-05T21:51:30+01:00 New upstream version 8.14.0+dfsg - - - - - 24 changed files: - .github/CODEOWNERS - .github/ISSUE_TEMPLATE.md - .github/PULL_REQUEST_TEMPLATE.md - .github/SUPPORT.md - + .github/workflows/check-conflicts.yml - + .github/workflows/ci.yml - .gitlab-ci.yml - − .merlin.in - .ocamlformat - CODE_OF_CONDUCT.md - CONTRIBUTING.md - CREDITS - INSTALL.md - − META.coq.in - Makefile - Makefile.build - − Makefile.checker - Makefile.ci - Makefile.common - Makefile.dev - Makefile.doc - Makefile.dune - Makefile.ide - Makefile.install The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/7af584ded8c1e7df26899933758f089feb46c9a9 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/7af584ded8c1e7df26899933758f089feb46c9a9 You're receiving this email because of your account on salsa.debian.org.
