Julien Puydt pushed to branch master at Debian OCaml Maintainers / aac-tactics
Commits: c9e003c6 by Julien Puydt at 2025-08-22T17:03:51+02:00 Adapt to renaming from Coq to Rocq - - - - - 5da939b7 by Julien Puydt at 2025-08-22T17:10:01+02:00 Adapt lintian overrides - - - - - ecc88023 by Julien Puydt at 2025-08-22T17:10:01+02:00 Update standards-version to 4.7.2 - - - - - b87e43ef by Julien Puydt at 2025-10-28T23:58:11+01:00 New upstream version 9.0.0 - - - - - 764cb883 by Julien Puydt at 2025-10-28T23:58:11+01:00 Update upstream source from tag 'upstream/9.0.0' Update to upstream version '9.0.0' with Debian dir 76cd343f9f9d716f44ff27a568df7bc4fa7ccd0f - - - - - a8e9129c by Julien Puydt at 2025-10-29T00:09:58+01:00 Package new upstream 9.0.0 - - - - - d35994e7 by Julien Puydt at 2025-10-29T07:58:06+01:00 Prepare for upload to experimental - - - - - 47 changed files: - .github/workflows/docker-action.yml - .gitignore - CHANGELOG.md - Makefile - − Makefile.coq.local - − Makefile.coq.local-late - README.md - _CoqProject → _RocqProject - debian/changelog - debian/control - debian/libcoq-aac-tactics.install.in - debian/libcoq-aac-tactics.lintian-overrides - debian/rules - − 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/-/compare/26713f048949046d4cdca263fb99f61923432814...d35994e7079f6845611e8cce294c17a391c6764f -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/26713f048949046d4cdca263fb99f61923432814...d35994e7079f6845611e8cce294c17a391c6764f You're receiving this email because of your account on salsa.debian.org.
