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

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

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq

Commits:

• d0a850eb
  by Julien Puydt at 2024-08-26T15:52:58+02:00

  New upstream version 8.19.2+dfsg

• 1228c4ea
  by Julien Puydt at 2024-08-26T15:53:05+02:00

  Update upstream source from tag 'upstream/8.19.2+dfsg'
  
  Update to upstream version '8.19.2+dfsg'
  with Debian dir b5256b7692a0d67c66d942dab07d05cb428bd0bf

• bebb8935
  by Julien Puydt at 2024-08-26T15:56:07+02:00

  Package new upstream 8.19.2
  

• a46162bf
  by Julien Puydt at 2024-09-16T07:09:11+02:00

  New upstream version 8.20.0+dfsg

• a80f49f8
  by Julien Puydt at 2024-09-16T07:09:21+02:00

  Update upstream source from tag 'upstream/8.20.0+dfsg'
  
  Update to upstream version '8.20.0+dfsg'
  with Debian dir b48998890ef0a97834fe6a03f64c72c0f5d62b1f

• 32506f5b
  by Julien Puydt at 2024-09-16T07:10:14+02:00

  Package new upstream 8.20
  

30 changed files:

• .github/CODEOWNERS
• − .github/ISSUE_TEMPLATE.md
• + .github/ISSUE_TEMPLATE/bug_report.yml
• + .github/ISSUE_TEMPLATE/config.yml
• + .github/ISSUE_TEMPLATE/feature_request.yml
• .github/workflows/ci-macos.yml
• .gitlab-ci.yml
• INSTALL.md
• Makefile
• Makefile.ci
• README.md
• boot/usage.ml
• checker/check.ml
• checker/checkInductive.ml
• checker/check_stat.ml
• checker/checker.ml
• checker/dune
• checker/mod_checking.ml
• checker/mod_checking.mli
• checker/safe_checking.ml
• checker/safe_checking.mli
• checker/values.ml
• checker/values.mli
• checker/votour.ml
• clib/cArray.ml
• clib/cArray.mli
• clib/cList.ml
• clib/cList.mli
• clib/cMap.ml
• clib/cMap.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