curry-base (0.4.2-3build1) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Thu, 22 Jun 2017 18:17:52 +0200 curry-base (0.4.2-3) unstable; urgency=medium * debian/patches: + Cherry-pick 0001_enforce-utf8-when-reading-code-files.patch from upstream. Enforce UTF-8 encoding when reading Curry code files. -- Mike Gabriel Wed, 11 Jan 2017 14:29:05 +0100 curry-base (0.4.2-2) unstable; urgency=medium * debian/patches: + 1001_fix-version-in-cabal-file.patch. Fix upstream version in curry-base.cabal. -- Mike Gabriel Wed, 21 Dec 2016 16:10:53 +0100 curry-base (0.4.2-1) unstable; urgency=low * Initial release to Debian. (Closes: #844522). -- Mike Gabriel Sat, 17 Dec 2016 15:19:07 +0100