Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits:
-
4b2a16b3
by Ralf Treinen at 2025-01-22T21:27:43+01:00
1 changed file:
Changes:
1 | -why3 (1.8.0-1) UNRELEASED; urgency=medium
|
|
1 | +why3 (1.8.0-1) unstable; urgency=medium
|
|
2 | 2 | |
3 | 3 | * New upstream release.
|
4 | 4 | * Stop building the documentation packages:
|
... | ... | @@ -13,7 +13,7 @@ why3 (1.8.0-1) UNRELEASED; urgency=medium |
13 | 13 | - add cvc5 << 1.3
|
14 | 14 | * Add an as-installed test with cvc5
|
15 | 15 | |
16 | - -- Ralf Treinen <treinen@debian.org> Mon, 20 Jan 2025 19:36:04 +0100
|
|
16 | + -- Ralf Treinen <treinen@debian.org> Wed, 22 Jan 2025 21:27:21 +0100
|
|
17 | 17 | |
18 | 18 | why3 (1.7.2-2) unstable; urgency=medium
|
19 | 19 |