Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo
Commits:
-
445134a7
by Julien Puydt at 2022-04-22T11:07:53+02:00
1 changed file:
Changes:
1 | -alt-ergo (2.4.1-1) UNRELEASED; urgency=medium
|
|
1 | +alt-ergo (2.4.1-1) unstable; urgency=medium
|
|
2 | 2 | |
3 | + * Team upload.
|
|
3 | 4 | * Fix d/watch.
|
4 | 5 | * New upstream release.
|
5 | 6 | * Adapt to new upstream build system.
|
... | ... | @@ -9,7 +10,7 @@ alt-ergo (2.4.1-1) UNRELEASED; urgency=medium |
9 | 10 | * Update d/copyright.
|
10 | 11 | * Adapt to new upstream install system.
|
11 | 12 | |
12 | - -- Julien Puydt <jpuydt@debian.org> Thu, 07 Apr 2022 13:10:35 +0200
|
|
13 | + -- Julien Puydt <jpuydt@debian.org> Fri, 22 Apr 2022 11:07:37 +0200
|
|
13 | 14 | |
14 | 15 | alt-ergo (2.0.0-8) unstable; urgency=low
|
15 | 16 |