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

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

Title: GitLab

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

Commits:

• 4ffe0aad
  by Julien Puydt at 2024-02-09T11:02:00+01:00

  New upstream version 8.19.0+dfsg

• a7a107d3
  by Julien Puydt at 2024-02-09T11:02:11+01:00

  Update upstream source from tag 'upstream/8.19.0+dfsg'
  
  Update to upstream version '8.19.0+dfsg'
  with Debian dir 4ce92eb4795b5e9aa621b674d09b7b4427b1b70e

• 52913226
  by Julien Puydt at 2024-02-09T11:25:19+01:00

  Package new upstream 8.19.0
  

• 508f38cc
  by Julien Puydt at 2024-02-09T11:25:23+01:00

  Refresh patches
  

• 76ea972b
  by Julien Puydt at 2024-02-24T09:50:22+01:00

  Prepare for upload
  

30 changed files:

• .github/CODEOWNERS
• .gitlab-ci.yml
• CODE_OF_CONDUCT.md
• CONTRIBUTING.md
• Makefile
• Makefile.ci
• README.md
• checker/check.ml
• checker/checkInductive.ml
• checker/checkTypes.ml
• checker/checker.ml
• checker/mod_checking.ml
• checker/values.ml
• clib/cList.ml
• clib/cMap.ml
• clib/cMap.mli
• clib/cString.ml
• clib/cString.mli
• clib/hMap.ml
• clib/int.ml
• coq-core.opam
• + coq-core.opam.template
• coq-doc.opam
• coq-stdlib.opam
• + coq-stdlib.opam.template
• coq.opam
• + coq.opam.template
• coqide-server.opam
• coqide.opam
• coqpp/coqpp_main.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