curry-frontend (1.0.3-1) unstable; urgency=medium * New upstream release. * debian/control: + Bump Standards-Version: to 4.3.0. No changes needed. + Update versioned B for pakcs (to << 2.1.0~). -- Mike Gabriel Thu, 31 Jan 2019 12:52:55 +0100 curry-frontend (1.0.2-1) unstable; urgency=medium * New upstream release. * debian/control: + Bump Standards-Version: to 4.2.1. No changes needed. + Update versioned B-Ds on curry-base to (>= 1.1.0~), but (<< 1.1.1). * debian/copyright: + Update copyright attributions. * debian/upstream/metadata: + Add file. Comply with DEP-12. * debian/source/lintian-overrides: + Drop the source override at old location, finally. -- Mike Gabriel Thu, 22 Nov 2018 16:30:46 +0100 curry-frontend (1.0.1-3) unstable; urgency=medium * debian/watch: + Update for tarball export feature in latest GitLab versions. * debian/control: + Bump Standards-Version: to 4.2.0. No changes needed. * lintian: Move source override to new canonical location in debian/source/ subfolder. -- Mike Gabriel Mon, 20 Aug 2018 15:43:51 +0200 curry-frontend (1.0.1-2) unstable; urgency=medium * Re-upload to rebuild doc package against newer ghc haddock interface. (see cury-base Debian bug #896972). * debian/control: + Bump Standards-Version: to 4.1.4. No changes needed. -- Mike Gabriel Fri, 27 Apr 2018 15:36:04 +0200 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