prooftree (0.12-2b2) staging; urgency=critical

  * No-change rebuild against updated ocaml libraries

 -- Philip Muškovac <yofel@kubuntu.org>  Fri, 24 Jun 2016 09:06:24 +0000

prooftree (0.12-2b1) staging; urgency=medium

  * No-change rebuild against current OCaml.

 -- Matthias Klumpp <mak@debian.org>  Fri, 15 Jan 2016 18:28: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
