blob: 7205d6ecd80727e5be12aaad3164e46207adce20 (
plain)
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
|
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
|