1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96
|
haskell-sbv (8.7-1) unstable; urgency=medium
* New upstream release
-- Ilias Tsitsimpis <iliastsi@debian.org> Mon, 17 Aug 2020 12:50:28 +0300
haskell-sbv (8.6-1) unstable; urgency=medium
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 14 Jun 2020 14:07:42 -0400
haskell-sbv (7.13-1) unstable; urgency=medium
* New upstream release
-- Clint Adams <clint@debian.org> Sat, 27 Jul 2019 22:10:38 -0400
haskell-sbv (7.12-2) unstable; urgency=medium
* Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
-- Ilias Tsitsimpis <iliastsi@debian.org> Mon, 01 Oct 2018 13:33:33 +0300
haskell-sbv (7.12-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 <iliastsi@debian.org> Sun, 30 Sep 2018 12:20:45 +0300
haskell-sbv (7.5-1) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* 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
* Use salsa.debian.org URLs in Vcs-{Browser,Git} fields
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
* New upstream release
-- Clint Adams <clint@debian.org> Mon, 09 Apr 2018 16:58:54 -0400
haskell-sbv (5.14-1) unstable; urgency=medium
* New upstream release
-- Clint Adams <clint@debian.org> 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 <clint@debian.org> Thu, 27 Oct 2016 18:35:56 -0400
haskell-sbv (5.12-1) experimental; urgency=medium
* New upstream version.
-- Clint Adams <clint@debian.org> 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 <nomeata@debian.org> Mon, 30 May 2016 17:03:38 +0200
haskell-sbv (5.9-1) unstable; urgency=medium
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 10 Jan 2016 21:50:25 -0500
haskell-sbv (5.7-1) unstable; urgency=medium
* New upstream release
-- Clint Adams <clint@debian.org> Mon, 28 Dec 2015 16:34:09 -0500
haskell-sbv (4.4-1) unstable; urgency=low
* Initial release.
-- Clint Adams <clint@debian.org> Tue, 15 Dec 2015 14:19:37 -0500
|