Julien Puydt pushed to branch master at Debian OCaml Maintainers / aac-tactics
Commits: f3b19283 by Julien Puydt at 2025-11-10T11:25:56+01:00 Strenghten depend on coq/rocq - - - - - 6efed6bc by Julien Puydt at 2025-11-11T18:18:54+01:00 Prepare for upload to experimental - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +aac-tactics (9.0.0-2) experimental; urgency=medium + + * Strenghten depend on coq/rocq. + + -- Julien Puydt <[email protected]> Tue, 11 Nov 2025 18:18:41 +0100 + aac-tactics (9.0.0-1) experimental; urgency=medium * Sequence install targets (Closes: #1105230). ===================================== debian/control ===================================== @@ -4,7 +4,7 @@ Priority: optional Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: Stéphane Glondu <[email protected]>, Julien Puydt <[email protected]> -Build-Depends: coq, +Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/9d397c978cef523dd64df41bc580d1021bdc04f3...6efed6bceae262669eb6749e1e2c2f6403ad060c -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/9d397c978cef523dd64df41bc580d1021bdc04f3...6efed6bceae262669eb6749e1e2c2f6403ad060c You're receiving this email because of your account on salsa.debian.org.
