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
|
haskell-presburger (1.3.1-11) unstable; urgency=medium
* Declare compliance with Debian policy 4.7.0
* Sourceful upload for GHC 9.6
-- Ilias Tsitsimpis <iliastsi@debian.org> Thu, 19 Sep 2024 10:40:51 +0300
haskell-presburger (1.3.1-10) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
* Sourceful upload for GHC 9.4
-- Ilias Tsitsimpis <iliastsi@debian.org> Sat, 02 Sep 2023 16:26:08 +0300
haskell-presburger (1.3.1-9) 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:43 +0300
haskell-presburger (1.3.1-8) unstable; urgency=medium
* Sourceful upload for GHC 8.8
* Backport upstream patch to build with GHC 8.8
-- Ilias Tsitsimpis <iliastsi@debian.org> Tue, 16 Jun 2020 15:19:12 +0300
haskell-presburger (1.3.1-7) unstable; urgency=medium
* Upstream fixes for new ghc
- debian/patches/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch:
- debian/patches/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch:
-- Gianfranco Costamagna <locutusofborg@debian.org> Sun, 25 Aug 2019 10:04:46 +0200
haskell-presburger (1.3.1-6) unstable; urgency=medium
* Patch to build with ghc-8.4
-- Dmitry Bogatov <KAction@gnu.org> Wed, 03 Oct 2018 20:59:01 -0400
haskell-presburger (1.3.1-5) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 21:18:06 +0300
haskell-presburger (1.3.1-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:01 -0400
haskell-presburger (1.3.1-3) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
-- Clint Adams <clint@debian.org> Thu, 27 Oct 2016 18:35:33 -0400
haskell-presburger (1.3.1-2) experimental; urgency=medium
[ Dmitry Bogatov ]
* Bump standards version to 3.9.8 (no changes needed)
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
-- Clint Adams <clint@debian.org> Sun, 16 Oct 2016 14:18:45 -0400
haskell-presburger (1.3.1-1) unstable; urgency=low
* Initial release.
-- Clint Adams <clint@debian.org> Tue, 15 Dec 2015 12:38:15 -0500
|
