haskell-smtlib (1.0.8-3) unstable; urgency=medium * Upload to unstable as part of GHC 8 transition. -- Clint Adams Thu, 27 Oct 2016 18:36:08 -0400 haskell-smtlib (1.0.8-2) experimental; urgency=medium [ Clint Adams ] * Temporarily build-depend on ghc 8. -- Clint Adams Fri, 14 Oct 2016 14:13:14 -0400 haskell-smtlib (1.0.8-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 Mon, 30 May 2016 17:06:12 +0200 haskell-smtlib (1.0.7-3) unstable; urgency=medium * Add missing Vcs-Git/Vcs-Browser headers. -- Clint Adams Thu, 03 Dec 2015 14:55:04 -0500 haskell-smtlib (1.0.7-2) experimental; urgency=medium * Depend on haskell-devscripts >= 0.10 to ensure that this package builds against GHC in experimental -- Joachim Breitner Thu, 20 Aug 2015 10:28:42 +0200 haskell-smtlib (1.0.7-1) unstable; urgency=low * Initial release. -- Kristoffer H Rose Fri, 14 Aug 2015 15:30:06 +0200