[Git][ocaml-team/coq][upstream] 2 commits: New upstream version 8.11.1~pre1

[Ralf Treinen <gitlab@salsa.debian.org>]

Title: GitLab

Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / coq

Commits:

• da1331a1
  by Ralf Treinen at 2020-04-10T13:45:43+02:00

  New upstream version 8.11.1~pre1

• e2b86272
  by Ralf Treinen at 2020-08-21T12:02:32+02:00

  New upstream version 8.12.0

22 changed files:

• .github/CODEOWNERS
• .gitlab-ci.yml
• + .ocamlformat
• CONTRIBUTING.md
• − INSTALL
• + INSTALL.md
• META.coq.in
• Makefile
• Makefile.build
• Makefile.checker
• Makefile.ci
• Makefile.common
• Makefile.dev
• Makefile.doc
• Makefile.dune
• Makefile.ide
• Makefile.install
• + Makefile.make
• Makefile.vofiles
• README.md
• azure-pipelines.yml
• checker/analyze.ml

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.