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: https://salsa.debian.org/ocaml-team/aac-tactics/-/commit/b87e43effcdb0f9fe6f865d840bd0c22670d0a84 -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/commit/b87e43effcdb0f9fe6f865d840bd0c22670d0a84 You're receiving this email because of your account on salsa.debian.org.
