blob: 8ac9eed24f635799b6678d3708261ee6f8117a5b (
plain)
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
|
haskell-smtlib (1.0.8-2) experimental; urgency=medium
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
-- Clint Adams <clint@debian.org> 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 <nomeata@debian.org> 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 <clint@debian.org> 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 <nomeata@debian.org> Thu, 20 Aug 2015 10:28:42 +0200
haskell-smtlib (1.0.7-1) unstable; urgency=low
* Initial release.
-- Kristoffer H Rose <krisrose@debian.org> Fri, 14 Aug 2015 15:30:06 +0200
|
