Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo
Commits:
-
ec83c5d0
by Julien Puydt at 2022-04-07T13:06:24+02:00
2 changed files:
Changes:
1 | +alt-ergo (2.0.0-8.1) UNRELEASED; urgency=medium
|
|
2 | + |
|
3 | + * Fix d/watch.
|
|
4 | + |
|
5 | + -- Julien Puydt <jpuydt@debian.org> Thu, 07 Apr 2022 13:06:12 +0200
|
|
6 | + |
|
1 | 7 | alt-ergo (2.0.0-8) unstable; urgency=low
|
2 | 8 | |
3 | 9 | [ Debian Janitor ]
|
1 | 1 | version=4
|
2 | -https://github.com/OCamlPro/alt-ergo/releases .*/archive/([0-9.]*)\.tar\.gz |
|
2 | +https://github.com/OCamlPro/alt-ergo/tags .*/([0-9.]*)\.tar\.gz |