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