prooftree (0.13-1build6) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 21 Aug 2019 15:13:54 +0200

prooftree (0.13-1build5) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Thu, 25 Jul 2019 14:01:48 +0200

prooftree (0.13-1build4) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 24 Jul 2019 19:11:42 +0200

prooftree (0.13-1build3) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 28 Oct 2017 16:23:53 +0200

prooftree (0.13-1build2) artful; urgency=high

  * No change rebuild against new findlib.

 -- Dimitri John Ledkov <xnox@ubuntu.com>  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 <xnox@ubuntu.com>  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 <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
