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 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 Tue, 12 Dec 2017 19:27:56 +0100 curry-frontend (1.0.0-1~exp1) experimental; urgency=medium * New upstream release. * debian/control: + Set Priority: field to optional. + Bump Standards-Version: to 4.1.1. + Update versioned B-D on 'curry-base'. + Add B-D 'set-extra'. * debian/copyright: + Update copyright attributions. -- Mike Gabriel Mon, 27 Nov 2017 11:48:20 +0100 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 Sun, 17 Sep 2017 20:18:39 +0200 curry-frontend (0.4.2-6) unstable; urgency=medium [ Steve Langasek ] * debian/control: + Drop from B-D: libghc-cabal-{dev,prof}. Cabal is now provided with ghc itself. (Closes: #865817). [ Mike Gabriel ] * debian/control: + Bump Standards-Version: to 4.0.0. No changes needed. -- Mike Gabriel Wed, 28 Jun 2017 09:59:59 +0200 curry-frontend (0.4.2-5) unstable; urgency=medium * debian/control: + Fix URL typo in LONG_DESCRIPTION. (Closes: #853222). -- Mike Gabriel Tue, 31 Jan 2017 10:34:43 +0100 curry-frontend (0.4.2-4) unstable; urgency=medium * debian/control: + Drop libghc-curry-frontend-prof. Not needed for normal curry-frontend operations. (Closes: #852843). -- Mike Gabriel Fri, 27 Jan 2017 21:40:24 +0100 curry-frontend (0.4.2-3) unstable; urgency=medium * debian/control: + Add Vcs-*: fields. -- Mike Gabriel Fri, 27 Jan 2017 21:21:31 +0100 curry-frontend (0.4.2-2) unstable; urgency=medium * debian/control: + Update versioned B-D: libghc-curry-base-*. Ensure, that curry-base >= 0.4.2-3 gets used. -- Mike Gabriel Fri, 27 Jan 2017 15:38:09 +0100 curry-frontend (0.4.2-1) unstable; urgency=low * Initial release. (Closes: #840532). -- Mike Gabriel Wed, 21 Dec 2016 13:54:41 +0000