-
e-antic (1.3.0+ds-1) unstable; urgency=medium
* New upstream minor version.
* Debianization:
- d/control:
- Standards-Version, bump to version 4.6.1 (no change);
- d/libeantic1.symbols, update;
- d/copyright:
- URI url, correct;
- d/s/lintian-overrides, update.
-- Jerome Benoit <email address hidden> Sun, 11 Dec 2022 16:45:43 +0000
-
e-antic (1.2.1+ds-2) unstable; urgency=medium
* Debianization:
- d/watch, now use GitHub API to avoid breaking change from GitHub web UI
(see https://lists.debian.org/debian-devel/2022/09/msg00229.html);
-- Jerome Benoit <email address hidden> Sat, 03 Dec 2022 15:22:40 +0000
-
e-antic (1.2.1+ds-1build1) kinetic; urgency=medium
* No-change rebuild against libflint17
-- Graham Inggs <email address hidden> Sun, 17 Jul 2022 12:10:54 +0000