[Git][ocaml-team/coq][upstream] New upstream version 8.14.0+dfsg

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

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.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.