-
curry-frontend (1.0.1-1) unstable; urgency=medium
* New upstream release.
* debian/control:
+ Bump Standards-Version: to 4.1.3. No changes needed.
+ Add B (curry-frontend): pakcs (<< 2.0.1~).
-- Mike Gabriel <email address hidden> Fri, 09 Feb 2018 11:22:49 +0100
-
curry-frontend (1.0.0-1) unstable; urgency=medium
* Re-upload to unstable as is.
-- Mike Gabriel <email address hidden> Tue, 12 Dec 2017 19:27:56 +0100
-
curry-frontend (0.4.2-7build1) bionic; urgency=medium
* No-change rebuild for new GHC ABIs
-- Steve Langasek <email address hidden> Sun, 05 Nov 2017 03:32:41 +0000
-
curry-frontend (0.4.2-7) unstable; urgency=medium
* debian/watch:
+ Update to new upstream URL.
* debian/control:
+ Bump Standards-Version: to 4.1.0. No changes needed.
-- Mike Gabriel <email address hidden> Sun, 17 Sep 2017 20:18:39 +0200
-
curry-frontend (0.4.2-6build2) artful; urgency=medium
* Rebuild against new GHC ABI.
-- Gianfranco Costamagna <email address hidden> Thu, 20 Jul 2017 14:10:17 +0200