Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
b49c6550
by Julien Puydt at 2025-11-10T13:10:43+01:00
-
9966bd4f
by Julien Puydt at 2025-11-11T19:44:33+01:00
2 changed files:
Changes:
| 1 | +ssreflect (2.5.0-2) experimental; urgency=medium
|
|
| 2 | + |
|
| 3 | + * Strenghten depends on coq/rocq.
|
|
| 4 | + |
|
| 5 | + -- Julien Puydt <jpuydt@debian.org> Tue, 11 Nov 2025 19:44:23 +0100
|
|
| 6 | + |
|
| 1 | 7 | ssreflect (2.5.0-1) experimental; urgency=medium
|
| 2 | 8 | |
| 3 | 9 | * New upstream release.
|
| ... | ... | @@ -6,7 +6,7 @@ Uploaders: Stéphane Glondu <glondu@debian.org>, |
| 6 | 6 | Ralf Treinen <treinen@debian.org>
|
| 7 | 7 | Build-Depends:
|
| 8 | 8 | debhelper-compat (= 13), dh-coq,
|
| 9 | - coq, libcoq-hierarchy-builder, libcoq-stdlib,
|
|
| 9 | + coq (>= 9), libcoq-hierarchy-builder, libcoq-stdlib,
|
|
| 10 | 10 | lua5.4
|
| 11 | 11 | Rules-Requires-Root: no
|
| 12 | 12 | Standards-Version: 4.7.2
|