[Git][ocaml-team/aac-tactics][upstream] New upstream version 9.0.0

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

Title: GitLab

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

Commits:

• b87e43ef
  by Julien Puydt at 2025-10-28T23:58:11+01:00

  New upstream version 9.0.0

42 changed files:

• .github/workflows/docker-action.yml
• .gitignore
• CHANGELOG.md
• Makefile
• − Makefile.coq.local
• − Makefile.coq.local-late
• README.md
• _CoqProject → _RocqProject
• − dune-project
• 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
• coq-aac-tactics.opam → rocq-aac-tactics.opam
• src/aac.mlg
• src/aac_plugin.mlpack
• src/aac_rewrite.ml
• − src/dune
• src/helper.mli
• src/matcher.mli
• src/print.ml
• src/print.mli
• src/coq.ml → src/rocq.ml
• src/coq.mli → src/rocq.mli
• src/theory.ml
• src/theory.mli
• tests/Makefile
• tests/_CoqProject → tests/_RocqProject
• tests/aac_135.v
• tests/aac_144.v
• theories/AAC.v
• theories/Caveats.v
• theories/Constants.v
• theories/Instances.v
• theories/Tutorial.v
• theories/Utils.v
• − theories/dune

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 Notification message regarding https://salsa.debian.org/ocaml-team/aac-tactics/-/commit/b87e43effcdb0f9fe6f865d840bd0c22670d0a84 at 1761721374