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
|
haskell-cryptol (2.8.0-1) unstable; urgency=medium
* New upstream version.
* Patch for newer base-compat. closes: #964835.
-- Clint Adams <clint@debian.org> Fri, 10 Jul 2020 18:14:32 -0400
haskell-cryptol (2.6.0-3) unstable; urgency=medium
* Patch for newer base-compat.
-- Clint Adams <clint@debian.org> Fri, 09 Nov 2018 20:05:45 -0600
haskell-cryptol (2.6.0-2) unstable; urgency=medium
* Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
* Remove build dependency on libghc-text-dev (provided by ghc-8.4.3)
-- Ilias Tsitsimpis <iliastsi@debian.org> Mon, 01 Oct 2018 13:47:28 +0300
haskell-cryptol (2.6.0-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> Sat, 29 Sep 2018 14:43:42 +0300
haskell-cryptol (2.5.0-1) unstable; urgency=medium
* New upstream release
-- Clint Adams <clint@debian.org> Mon, 09 Apr 2018 22:47:51 -0400
haskell-cryptol (2.4.0-4) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* 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:04:45 -0400
haskell-cryptol (2.4.0-3) unstable; urgency=medium
* 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
-- Ilias Tsitsimpis <iliastsi@debian.org> Wed, 01 Nov 2017 12:13:56 +0200
haskell-cryptol (2.4.0-2) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
-- Clint Adams <clint@debian.org> Thu, 27 Oct 2016 18:33:06 -0400
haskell-cryptol (2.4.0-1) experimental; urgency=medium
* New upstream version.
-- Clint Adams <clint@debian.org> Mon, 17 Oct 2016 12:15:51 -0400
haskell-cryptol (2.3.0-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> Sun, 29 May 2016 11:53:31 +0200
haskell-cryptol (2.2.6-1) unstable; urgency=medium
* New upstream version.
-- Clint Adams <clint@debian.org> Mon, 28 Dec 2015 16:35:13 -0500
haskell-cryptol (2.2.5-1) unstable; urgency=low
* Initial release.
-- Clint Adams <clint@debian.org> Tue, 15 Dec 2015 14:57:33 -0500
|
