Change logs for prooftree source package in Disco

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:23:53 +0200