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
|
haskell-copilot-theorem (4.5-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Mon, 11 Aug 2025 19:38:07 -0400
haskell-copilot-theorem (4.3-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Sat, 29 Mar 2025 13:18:14 -0400
haskell-copilot-theorem (4.2-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Wed, 22 Jan 2025 18:39:48 -0500
haskell-copilot-theorem (4.0-2) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Declare compliance with Debian policy 4.7.0
[ Scott Talbert ]
* Sourceful upload for GHC 9.6
-- Scott Talbert <swt@techie.net> Sun, 22 Sep 2024 16:47:57 -0400
haskell-copilot-theorem (4.0-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Tue, 10 Sep 2024 22:51:18 -0400
haskell-copilot-theorem (3.19.1-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Mon, 08 Jul 2024 22:36:31 -0400
haskell-copilot-theorem (3.18.1-2) unstable; urgency=medium
* Add z3 as BD to fix tests
-- Scott Talbert <swt@techie.net> Mon, 08 Jan 2024 22:35:41 -0500
haskell-copilot-theorem (3.18.1-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Mon, 08 Jan 2024 20:10:01 -0500
haskell-copilot-theorem (3.17-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Mon, 13 Nov 2023 20:17:23 -0500
haskell-copilot-theorem (3.16.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
* New upstream release (Closes: #1054954)
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 05 Nov 2023 13:12:31 +0200
haskell-copilot-theorem (3.13-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Mon, 09 Jan 2023 19:39:57 -0500
haskell-copilot-theorem (3.12-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Tue, 08 Nov 2022 19:19:44 -0500
haskell-copilot-theorem (3.11-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Thu, 06 Oct 2022 19:30:07 -0400
haskell-copilot-theorem (3.10-2) unstable; urgency=medium
* Post-NEW source-only upload
-- Scott Talbert <swt@techie.net> Mon, 12 Sep 2022 19:20:35 -0400
haskell-copilot-theorem (3.10-1) unstable; urgency=low
* Initial release
-- Scott Talbert <swt@techie.net> Thu, 18 Aug 2022 16:30:34 -0400
|
