Publishing details

Changelog

alt-ergo (2.0.0-7build2) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Nov 2020 10:23:45 +0100

Available diffs

Builds

Package files