haskell-cryptol (2.6.0-3) unstable; urgency=medium * Patch for newer base-compat. -- Clint Adams Fri, 09 Nov 2018 20:05:45 -0600 haskell-cryptol (2.6.0-2) unstable; urgency=medium * Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3) * Remove build dependency on libghc-text-dev (provided by ghc-8.4.3) -- Ilias Tsitsimpis Mon, 01 Oct 2018 13:47:28 +0300 haskell-cryptol (2.6.0-1) unstable; urgency=medium [ Clint Adams ] * Set Rules-Requires-Root to no. [ Ilias Tsitsimpis ] * Bump debhelper compat level to 10 * New upstream release -- Ilias Tsitsimpis Sat, 29 Sep 2018 14:43:42 +0300 haskell-cryptol (2.5.0-1) unstable; urgency=medium * New upstream release -- Clint Adams Mon, 09 Apr 2018 22:47:51 -0400 haskell-cryptol (2.4.0-4) unstable; urgency=medium [ Ilias Tsitsimpis ] * Use salsa.debian.org URLs in Vcs-{Browser,Git} fields [ Clint Adams ] * Bump to Standards-Version 4.1.4. -- Clint Adams Mon, 09 Apr 2018 20:04:45 -0400 haskell-cryptol (2.4.0-3) unstable; urgency=medium * Change Priority to optional. Since Debian Policy version 4.0.1, priority extra has been deprecated. * Use the HTTPS form of the copyright-format URL * Modify d/watch and Source field in d/copyright to use HTTPS * Declare compliance with Debian policy 4.1.1 -- Ilias Tsitsimpis Wed, 01 Nov 2017 12:13:56 +0200 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