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
-
6efed6bc
by Julien Puydt at 2025-11-11T18:18:54+01:00
2 changed files:
Changes:
| 1 | +aac-tactics (9.0.0-2) experimental; urgency=medium
|
|
| 2 | + |
|
| 3 | + * Strenghten depend on coq/rocq.
|
|
| 4 | + |
|
| 5 | + -- Julien Puydt <jpuydt@debian.org> Tue, 11 Nov 2025 18:18:41 +0100
|
|
| 6 | + |
|
| 1 | 7 | aac-tactics (9.0.0-1) experimental; urgency=medium
|
| 2 | 8 | |
| 3 | 9 | * Sequence install targets (Closes: #1105230).
|
| ... | ... | @@ -4,7 +4,7 @@ Priority: optional |
| 4 | 4 | Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
|
| 5 | 5 | Uploaders: Stéphane Glondu <glondu@debian.org>,
|
| 6 | 6 | Julien Puydt <jpuydt@debian.org>
|
| 7 | -Build-Depends: coq,
|
|
| 7 | +Build-Depends: coq (>= 9),
|
|
| 8 | 8 | debhelper-compat (= 13),
|
| 9 | 9 | dh-coq,
|
| 10 | 10 | dh-ocaml,
|