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
|
prooftree (0.13-2) unstable; urgency=medium
[ Stephane Glondu ]
* Update Vcs-*
[ Gianfranco Costamagna ]
* Team upload
* Build-depend on coq to avoid it being uninstallable
where coq is not built (Closes: #956674)
-- Gianfranco Costamagna <locutusofborg@debian.org> Wed, 13 May 2020 15:30:43 +0200
prooftree (0.13-1) unstable; urgency=medium
* Imported Upstream version 0.13
* delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream)
* push standards version to 3.9.8
* fix some lintian warnings
-- Hendrik Tews <hendrik@askra.de> Tue, 03 Jan 2017 16:29:09 +0100
prooftree (0.12-2) unstable; urgency=low
[ Stéphane Glondu ]
* Team upload
* Fix compilation with OCaml 4.02
[ Hendrik Tews ]
* lintian canonical vcs
-- Stéphane Glondu <glondu@debian.org> Wed, 14 Oct 2015 10:10:04 +0200
prooftree (0.12-1) unstable; urgency=low
* Initial release (Closes: #672480)
-- Hendrik Tews <hendrik@askra.de> Fri, 17 May 2013 16:53:01 +0200
|
