Change logs for prooftree source package in Eoan

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 21 Aug 2019 15:13:54 +0200

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 25 Jul 2019 14:01:48 +0200

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 24 Jul 2019 19:11:42 +0200

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