[Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.18.0

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

Title: GitLab

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

Commits:

• 489c8fa1
  by Julien Puydt at 2024-01-25T13:42:08+01:00

  New upstream version 8.18.0

• 33d22108
  by Julien Puydt at 2024-01-25T13:42:32+01:00

  Update upstream source from tag 'upstream/8.18.0'
  
  Update to upstream version '8.18.0'
  with Debian dir a7011fc139575ba71e765e80ec9ebc770e17836f

• 1db7b5d1
  by Julien Puydt at 2024-01-25T13:58:44+01:00

  Package new upstream 8.18.0
  

30 changed files:

• .github/workflows/ci-macos.yml
• .gitlab-ci.yml
• CODE_OF_CONDUCT.md
• CONTRIBUTING.md
• Makefile.ci
• boot/env.ml
• + boot/path.mli
• boot/usage.ml
• + boot/util.mli
• checker/check.ml
• checker/checkFlags.ml
• checker/checkInductive.ml
• checker/checkTypes.ml
• checker/checker.ml
• checker/mod_checking.ml
• checker/values.ml
• checker/votour.ml
• clib/cList.ml
• clib/cList.mli
• clib/cMap.ml
• clib/cMap.mli
• clib/dyn.ml
• clib/dyn.mli
• clib/hMap.ml
• clib/option.ml
• clib/option.mli
• + clib/polyMap.ml
• + clib/polyMap.mli
• + clib/unicodetable.mli
• config/list_plugins.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