curry-base (0.4.2-3build4) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Thu, 20 Jul 2017 13:16:39 +0200 curry-base (0.4.2-3build3) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Mon, 10 Jul 2017 19:54:02 +0200 curry-base (0.4.2-3build2) artful; urgency=medium * No-change rebuild for new GHC ABIs -- Steve Langasek Sun, 25 Jun 2017 03:43:03 +0000 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