prooftree (0.12-1build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.

 -- Matthias Klose <doko@ubuntu.com>  Mon, 23 Dec 2013 22:40:50 +0100

prooftree (0.12-1) unstable; urgency=low

  * Initial release (Closes: #672480)

 -- Hendrik Tews <hendrik@askra.de>  Fri, 17 May 2013 16:53:01 +0200
