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