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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
|
aac-tactics (8.8.0+1.gbp069dc3b-1) unstable; urgency=medium
** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 **
* Team upload
* New upstream release
* Build an unreleased snapshot to support Coq 8.9 (Closes: 919463)
-- Benjamin Barenblat <bbaren@debian.org> Sun, 17 Feb 2019 20:29:23 -0500
aac-tactics (8.6.1-2) unstable; urgency=medium
* Recompile with OCaml 4.05.0
-- Stéphane Glondu <glondu@debian.org> Mon, 09 Oct 2017 10:33:39 +0200
aac-tactics (8.6.1-1) unstable; urgency=medium
* Team upload
* New upstream release
* Remove patch 001-fix-typos, applied upstream
-- Enrico Tassi <gareuselesinge@debian.org> Tue, 27 Dec 2016 16:06:51 +0000
aac-tactics (8.5.1-1) unstable; urgency=medium
* Team upload
* Imported Upstream version 8.5.1 (Closes: #813459)
* Use HTTPS for Vcs-* links
* New upstream URL & watch file
* Install .v files
* Fix installed docs
* Fix typos
* Bump Standards-Version to 3.9.8.
No change required
-- Nicolas Braud-Santoni <nicolas@braud-santoni.eu> Sat, 23 Jul 2016 16:44:48 -0400
aac-tactics (0.4-5) unstable; urgency=medium
* Recompile with OCaml 4.02.3
-- Stéphane Glondu <glondu@debian.org> Wed, 14 Oct 2015 11:44:20 +0200
aac-tactics (0.4-4) unstable; urgency=medium
* Fix Homepage URL
* Drop debian/watch
* Bump Standards-Version to 3.9.6
* Bump debhelper compat level to 9
-- Stéphane Glondu <glondu@debian.org> Mon, 10 Aug 2015 21:16:02 +0200
aac-tactics (0.4-3) unstable; urgency=medium
* Recompile with coq 8.4pl4
-- Stéphane Glondu <glondu@debian.org> Wed, 30 Jul 2014 11:00:52 +0200
aac-tactics (0.4-2) unstable; urgency=medium
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update Vcs-*
-- Stéphane Glondu <glondu@debian.org> Mon, 20 Jan 2014 08:22:59 +0100
aac-tactics (0.4-1) unstable; urgency=low
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Thu, 05 Dec 2013 07:56:39 +0100
aac-tactics (0.3.pl1-1) unstable; urgency=low
* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Upload to unstable
-- Stéphane Glondu <glondu@debian.org> Thu, 09 May 2013 13:26:38 +0200
aac-tactics (0.3-2) experimental; urgency=low
* Fix FTBFS without natdynlink
* This version requires the bugfix introduced in coq 8.4dfsg-2
-- Stéphane Glondu <glondu@debian.org> Sat, 22 Sep 2012 16:08:20 +0200
aac-tactics (0.3-1) experimental; urgency=low
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Fri, 21 Sep 2012 19:19:27 +0200
aac-tactics (0.2.pl2-7) unstable; urgency=low
* Recompile with camlp5 6.06 (no changes)
-- Stéphane Glondu <glondu@debian.org> Sat, 09 Jun 2012 10:31:21 +0200
aac-tactics (0.2.pl2-6) unstable; urgency=medium
* Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)
-- Stéphane Glondu <glondu@debian.org> Sun, 01 Apr 2012 17:19:08 +0200
aac-tactics (0.2.pl2-5) unstable; urgency=low
* Recompile with camlp5 6.04 (no changes)
-- Stéphane Glondu <glondu@debian.org> Mon, 05 Mar 2012 21:51:05 +0100
aac-tactics (0.2.pl2-4) unstable; urgency=low
* Rebuild with Coq 8.3pl3 (no source changes)
-- Stéphane Glondu <glondu@debian.org> Sun, 25 Dec 2011 16:54:20 +0100
aac-tactics (0.2.pl2-3) unstable; urgency=low
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
-- Stéphane Glondu <glondu@debian.org> Thu, 03 Nov 2011 06:41:57 +0100
aac-tactics (0.2.pl2-2) unstable; urgency=low
* Upload to unstable
-- Stéphane Glondu <glondu@debian.org> Sun, 01 May 2011 19:22:52 +0200
aac-tactics (0.2.pl2-1) experimental; urgency=low
* New upstream release
- remove patch (applied upstream)
-- Stéphane Glondu <glondu@debian.org> Mon, 28 Feb 2011 07:46:14 +0100
aac-tactics (0.1-r13244-1) experimental; urgency=low
* Initial release (Closes: #605487)
-- Stéphane Glondu <glondu@debian.org> Tue, 30 Nov 2010 16:24:53 +0100
|
