haskell-cryptol (2.4.0-2build6) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Wed, 19 Jul 2017 19:20:47 +0200 haskell-cryptol (2.4.0-2build5) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Tue, 11 Jul 2017 15:28:01 +0200 haskell-cryptol (2.4.0-2build4) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Mon, 10 Jul 2017 13:28:15 +0200 haskell-cryptol (2.4.0-2build3) artful; urgency=medium * No-change rebuild for new GHC ABIs -- Steve Langasek Wed, 21 Jun 2017 05:33:27 +0000 haskell-cryptol (2.4.0-2build2) zesty; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Fri, 27 Jan 2017 12:20:09 +0100 haskell-cryptol (2.4.0-2build1) zesty; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Tue, 15 Nov 2016 11:42:38 +0100 haskell-cryptol (2.4.0-2) unstable; urgency=medium * Upload to unstable as part of GHC 8 transition. -- Clint Adams Thu, 27 Oct 2016 18:33:06 -0400 haskell-cryptol (2.4.0-1) experimental; urgency=medium * New upstream version. -- Clint Adams Mon, 17 Oct 2016 12:15:51 -0400 haskell-cryptol (2.3.0-1) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) [ Joachim Breitner ] * New upstream release -- Joachim Breitner Sun, 29 May 2016 11:53:31 +0200 haskell-cryptol (2.2.6-1) unstable; urgency=medium * New upstream version. -- Clint Adams Mon, 28 Dec 2015 16:35:13 -0500 haskell-cryptol (2.2.5-1) unstable; urgency=low * Initial release. -- Clint Adams Tue, 15 Dec 2015 14:57:33 -0500