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
|
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
|
