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
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
|
aac-tactics (8.20.0-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Wed, 20 Nov 2024 10:41:23 +0100
aac-tactics (8.19.1-2) unstable; urgency=medium
* Do not hardcode /usr/lib/ocaml
-- Stéphane Glondu <glondu@debian.org> Sat, 03 Aug 2024 17:29:07 +0200
aac-tactics (8.19.1-1) unstable; urgency=medium
* New upstream release.
* Bump standards-version to 4.7.0.
-- Julien Puydt <jpuydt@debian.org> Tue, 11 Jun 2024 07:05:57 +0200
aac-tactics (8.19.0-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Sat, 24 Feb 2024 09:51:21 +0100
aac-tactics (8.18.0-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Thu, 21 Dec 2023 15:20:11 +0100
aac-tactics (8.17.0-3) unstable; urgency=medium
* Depend on ocaml instead of transitional ocaml-nox
-- Stéphane Glondu <glondu@debian.org> Tue, 12 Sep 2023 07:51:26 +0200
aac-tactics (8.17.0-2) unstable; urgency=medium
* Add lintian overrides for false issues.
* Bump Coq version depend.
-- Julien Puydt <jpuydt@debian.org> Mon, 12 Jun 2023 19:27:20 +0200
aac-tactics (8.17.0-1) unstable; urgency=medium
* Fix links in the doc base system.
* Bump standards-version to 4.6.2.
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Tue, 03 Jan 2023 14:33:38 +0100
aac-tactics (8.16.0-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Mon, 22 Aug 2022 16:35:51 +0200
aac-tactics (8.15.1-6) unstable; urgency=medium
* Install the documentation in the right directory.
* Use dh-coq.
-- Julien Puydt <jpuydt@debian.org> Sat, 11 Jun 2022 22:34:44 +0200
aac-tactics (8.15.1-5) unstable; urgency=medium
* Bump standards-version to 4.6.1.
* Add myself to uploaders.
-- Julien Puydt <jpuydt@debian.org> Wed, 01 Jun 2022 15:01:51 +0200
aac-tactics (8.15.1-4) unstable; urgency=medium
* Re-upload to fix ABI breakage.
-- Julien Puydt <jpuydt@debian.org> Sun, 22 May 2022 19:23:17 +0200
aac-tactics (8.15.1-3) unstable; urgency=medium
* Change the libcoq package to Architecture: any.
-- Julien Puydt <jpuydt@debian.org> Sun, 17 Apr 2022 13:55:57 +0200
aac-tactics (8.15.1-2) unstable; urgency=medium
* Source-only upload for testing migration.
-- Julien Puydt <jpuydt@debian.org> Wed, 13 Apr 2022 09:07:48 +0200
aac-tactics (8.15.1-1) unstable; urgency=medium
* Team upload.
* New upstream release.
* Rename the libaac-tactics-coq binary package
to libcoq-aac-tactics to follow the rest of the
ecosystem in Debian.
-- Julien Puydt <jpuydt@debian.org> Sun, 03 Apr 2022 21:57:56 +0200
aac-tactics (8.15.0-1) unstable; urgency=medium
* Team upload.
* Fix d/watch.
* New upstream release.
* Adapt to new coq library layout (closes: #970454).
* Bump dh-compat to level 13.
* Bump standards-version to 4.6.0.
-- Julien Puydt <jpuydt@debian.org> Sun, 06 Feb 2022 13:55:39 +0100
aac-tactics (8.11.0-1) unstable; urgency=medium
* Team upload
* New upstream version, compiles with coq 8.11.0 (closes: #953739)
* debian/rules: on dynlink architectures, build opt before byte
* debian/*.ocamldoc: add -I /usr/lib/coq/tactics
-- Ralf Treinen <treinen@debian.org> Tue, 17 Mar 2020 16:42:09 +0100
aac-tactics (8.9.0-1) unstable; urgency=medium
* New upstream release
* Update Homepage and debian/watch
* Bump debhelper compat level to 12
* Bump Standards-Version to 4.5.0
* Add Rules-Requires-Root: no
-- Stéphane Glondu <glondu@debian.org> Sun, 02 Feb 2020 15:16:42 +0100
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
|
