-
flint-arb (1:2.18.1-2) unstable; urgency=medium
* Fix duplicate entries in d/copyright.
* Declare d/rules doesn't require root.
* Bump dh compat to 13.
* Ship the api documentation in html (Closes: 968872)
-- Julien Puydt <email address hidden> Tue, 25 Aug 2020 18:42:48 +0200
-
flint-arb (1:2.18.1-1build1) groovy; urgency=medium
* No-change rebuild against libflint-2.6.3
-- Steve Langasek <email address hidden> Mon, 17 Aug 2020 08:19:11 +0000
-
flint-arb (1:2.18.1-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <email address hidden> Wed, 01 Jul 2020 11:17:26 +0200
-
flint-arb (1:2.18.0-1) unstable; urgency=medium
* New upstream release.
* Change the debian-science-maintainers' address.
* Bump std-vers to 4.5.0.
-- Julien Puydt <email address hidden> Wed, 17 Jun 2020 10:37:15 +0200
-
flint-arb (1:2.17.0-1) unstable; urgency=medium
* New upstream release.
* Drop d/compat and swith to debhelper-compat 12.
* Bump std-vers to 4.4.1.
-- Julien Puydt <email address hidden> Sat, 19 Oct 2019 22:07:04 +0200
