[Git][ocaml-team/coq-doc][upstream] 2 commits: New upstream version 8.17.0

[Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>]

Title: GitLab

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / coq-doc

Commits:

• c80b87fc
  by Stephane Glondu at 2023-08-01T17:03:34+02:00

  New upstream version 8.17.0

• 0cbda766
  by Stephane Glondu at 2023-08-12T11:51:06+02:00

  New upstream version 8.17.1

23 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

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. Manage all notifications · Help