prooftree (0.8-1) unstable; urgency=low

  * Initial release

 -- Hendrik Tews <hendrik@askra.de>  Mon, 02 Jan 2012 14:28:45 +0100
