[Git][ocaml-team/coq][master] 9 commits: New upstream version 8.17.0+dfsg

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

Title: GitLab

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.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help