[Git][ocaml-team/coq][master] 6 commits: Add explicit b-dep on libfindlib-ocaml-dev

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

Title: GitLab

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

Commits:

• e1592143
  by Julien Puydt at 2022-08-18T08:15:38+02:00

  Add explicit b-dep on libfindlib-ocaml-dev
  

• e2499438
  by Julien Puydt at 2022-09-05T16:22:58+02:00

  New upstream version 8.16.0+dfsg

• 8da45edd
  by Julien Puydt at 2022-09-05T16:23:09+02:00

  Update upstream source from tag 'upstream/8.16.0+dfsg'
  
  Update to upstream version '8.16.0+dfsg'
  with Debian dir 27909041a035e61b2251d8c9cbd3fe5ba83d7236

• 2f014e74
  by Julien Puydt at 2022-09-05T17:43:00+02:00

  Package new upstream 8.16.0
  

• 7ee2dd27
  by Julien Puydt at 2022-09-05T17:43:28+02:00

  Refresh patches
  

• 5d6d7eab
  by Julien Puydt at 2022-09-05T17:56:35+02:00

  Prepare for upload
  

30 changed files:

• .github/CODEOWNERS
• .github/PULL_REQUEST_TEMPLATE.md
• .github/workflows/ci-macos.yml
• .github/workflows/ci-windows.yml.disabled → .github/workflows/ci-windows.yml
• .github/workflows/stale.yml
• .gitlab-ci.yml
• − .ocamlformat
• + .ocp-indent
• CONTRIBUTING.md
• INSTALL.md
• Makefile.build
• Makefile.ci
• Makefile.common
• Makefile.doc
• + Makefile.docgram
• Makefile.dune
• Makefile.ide
• Makefile.install
• Makefile.make
• README.md
• sysinit/usage.ml → boot/usage.ml
• sysinit/usage.mli → boot/usage.mli
• checker/check.ml
• checker/checkFlags.ml
• checker/checkFlags.mli
• checker/checkInductive.ml
• checker/checker.ml
• checker/mod_checking.ml
• checker/mod_checking.mli
• checker/values.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