Ubuntu
ppx-tools package

Change logs for ppx-tools source package in Focal

  1. Focal (20.04)
  2. Change log 
  • ppx-tools (5.3+4.08.0-1) unstable; urgency=medium

  * New upstream release
  * Update Homepage and debian/watch
  * Update Vcs-*

 -- Stéphane Glondu <email address hidden>  Tue, 05 Nov 2019 13:51:26 +0100
  • ppx-tools (5.0+4.05.0-1build1) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

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