Publishing details

Changelog

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

Available diffs

Builds

Package files