[Git][ocaml-team/aac-tactics][master] 4 commits: New upstream version 8.16.0

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

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / aac-tactics

Commits:

• 4eacd6d9
  by Julien Puydt at 2022-08-19T14:06:09+02:00

  New upstream version 8.16.0

• 27fe5527
  by Julien Puydt at 2022-08-19T14:06:09+02:00

  Update upstream source from tag 'upstream/8.16.0'
  
  Update to upstream version '8.16.0'
  with Debian dir a69d740a70e10c02d52132a9482ba0622705a5fe

• bc11bb83
  by Julien Puydt at 2022-08-19T15:39:52+02:00

  Package new upstream 8.16.0
  

• 595cf7a8
  by Julien Puydt at 2022-08-22T16:36:06+02:00

  Prepare for upload
  

30 changed files:

• .github/workflows/docker-action.yml
• .github/workflows/nix-action.yml
• .gitignore
• + Makefile.coq.local
• README.md
• _CoqProject
• coq-aac-tactics.opam
• debian/changelog
• debian/control
• − debian/libaac-tactics-ocaml-dev.install
• − debian/libaac-tactics-ocaml-dev.lintian-overrides
• − debian/libaac-tactics-ocaml-dev.ocamldoc
• − debian/libaac-tactics-ocaml.install.in
• debian/libcoq-aac-tactics.install
• debian/rules
• meta.yml
• + resources/config.js
• + resources/coqdoc.css
• + resources/coqdocjs.css
• + resources/coqdocjs.js
• + resources/footer.html
• + resources/header.html
• + resources/index.html
• + resources/index.md
• src/aac.mlg
• src/aac_rewrite.ml
• src/coq.ml
• src/print.ml
• theories/AAC.v
• theories/Caveats.v

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. If you'd like to receive fewer emails, you can adjust your notification settings.