haskell-sbv (5.14-1) unstable; urgency=medium * New upstream release -- Clint Adams Thu, 06 Jul 2017 17:36:50 -0400 haskell-sbv (5.12-2) unstable; urgency=medium * Upload to unstable as part of GHC 8 transition. -- Clint Adams Thu, 27 Oct 2016 18:35:56 -0400 haskell-sbv (5.12-1) experimental; urgency=medium * New upstream version. -- Clint Adams Mon, 17 Oct 2016 01:28:43 -0400 haskell-sbv (5.11-1) unstable; urgency=medium [ Dmitry Bogatov ] * Bump standards version to 3.9.8 (no changes needed) [ Joachim Breitner ] * New upstream release -- Joachim Breitner Mon, 30 May 2016 17:03:38 +0200 haskell-sbv (5.9-1) unstable; urgency=medium * New upstream release -- Clint Adams Sun, 10 Jan 2016 21:50:25 -0500 haskell-sbv (5.7-1) unstable; urgency=medium * New upstream release -- Clint Adams Mon, 28 Dec 2015 16:34:09 -0500 haskell-sbv (4.4-1) unstable; urgency=low * Initial release. -- Clint Adams Tue, 15 Dec 2015 14:19:37 -0500