prooftree (0.13-1build9) focal; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna Thu, 12 Mar 2020 14:53:39 +0100 prooftree (0.13-1build8) focal; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna Mon, 24 Feb 2020 18:25:38 +0100 prooftree (0.13-1build7) focal; urgency=medium * No change rebuild against new ocaml ABI -- Dimitri John Ledkov Fri, 21 Feb 2020 23:16:59 +0000 prooftree (0.13-1build6) eoan; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna Wed, 21 Aug 2019 15:13:54 +0200 prooftree (0.13-1build5) eoan; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna Thu, 25 Jul 2019 14:01:48 +0200 prooftree (0.13-1build4) eoan; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna Wed, 24 Jul 2019 19:11:42 +0200 prooftree (0.13-1build3) bionic; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna Sat, 28 Oct 2017 16:23:53 +0200 prooftree (0.13-1build2) artful; urgency=high * No change rebuild against new findlib. -- Dimitri John Ledkov Thu, 27 Jul 2017 09:44:58 +0100 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