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
97
98
|
haskell-smtlib (1.1-4) unstable; urgency=medium
* Declare compliance with Debian policy 4.7.0
* Sourceful upload for GHC 9.6
-- Ilias Tsitsimpis <iliastsi@debian.org> Sat, 14 Sep 2024 22:49:03 +0300
haskell-smtlib (1.1-3) unstable; urgency=medium
* Remove developer Kristoffer H Rose from Uploaders.
* Declare compliance with Debian policy 4.6.2
* Sourceful upload for GHC 9.4
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 27 Aug 2023 12:40:08 +0300
haskell-smtlib (1.1-2) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.1
* Sourceful upload for GHC 9.0.2
-- Ilias Tsitsimpis <iliastsi@debian.org> Wed, 29 Jun 2022 20:45:46 +0300
haskell-smtlib (1.1-1) unstable; urgency=medium
* New upstream release
-- Ilias Tsitsimpis <iliastsi@debian.org> Mon, 08 Jun 2020 16:55:19 +0300
haskell-smtlib (1.0.9-2) unstable; urgency=medium
* Bump debhelper compat level to 10
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 21:20:57 +0300
haskell-smtlib (1.0.9-1) unstable; urgency=medium
* Set Rules-Requires-Root to no.
* New upstream release
-- Clint Adams <clint@debian.org> Tue, 03 Jul 2018 08:19:45 -0400
haskell-smtlib (1.0.8-4) 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.
-- Clint Adams <clint@debian.org> Mon, 09 Apr 2018 20:05:04 -0400
haskell-smtlib (1.0.8-3) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
-- Clint Adams <clint@debian.org> 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 <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
|
