prooftree (0.13-1build1) artful; urgency=high * No change rebuild against ocaml 4.04. -- Dimitri John Ledkov Fri, 30 Jun 2017 14:52:39 +0100 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 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 Wed, 14 Oct 2015 10:10:04 +0200 prooftree (0.12-1) unstable; urgency=low * Initial release (Closes: #672480) -- Hendrik Tews Fri, 17 May 2013 16:53:01 +0200