[Git][ocaml-team/aac-tactics][master] 7 commits: Adapt to renaming from Coq to Rocq

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

Title: GitLab

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.
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/-/compare/26713f048949046d4cdca263fb99f61923432814...d35994e7079f6845611e8cce294c17a391c6764f at 1761721371