Julien Puydt pushed to branch master at Debian OCaml Maintainers / aac-tactics
Commits: 1925da17 by Julien Puydt at 2026-07-10T10:51:49+02:00 Rewrite d/watch - - - - - 0dd42c21 by Julien Puydt at 2026-07-10T10:52:16+02:00 Bump standards-version to 4.7.4 - - - - - b8830aa0 by Julien Puydt at 2026-07-10T10:52:30+02:00 Prepare for upload to experimental - - - - - 3 changed files: - debian/changelog - debian/control - debian/watch Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,10 @@ +aac-tactics (9.0.0-3) experimental; urgency=medium + + * Rewrite d/watch. + * Bump standards-version to 4.7.4. + + -- Julien Puydt <[email protected]> Fri, 10 Jul 2026 10:52:19 +0200 + aac-tactics (9.0.0-2) experimental; urgency=medium * Strenghten depend on coq/rocq. ===================================== debian/control ===================================== @@ -11,7 +11,7 @@ Build-Depends: coq (>= 9), libcoq-core-ocaml-dev, libcoq-stdlib, ocaml -Standards-Version: 4.7.2 +Standards-Version: 4.7.4 Rules-Requires-Root: no Homepage: https://github.com/coq-community/aac-tactics Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics ===================================== debian/watch ===================================== @@ -1,2 +1,4 @@ -version=4 -https://github.com/coq-community/aac-tactics/tags .*/v(.*)\.tar\.gz +Version: 5 +Template: github +Owner: coq-community +Project: aac-tactics View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/6efed6bceae262669eb6749e1e2c2f6403ad060c...b8830aa0bb52a4af352bfdeb9dc12df13a471bea -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/6efed6bceae262669eb6749e1e2c2f6403ad060c...b8830aa0bb52a4af352bfdeb9dc12df13a471bea You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help
