Publishing details
-
Removal requested
.
-
Published
-
Copied from
ubuntu hirsute in
Primary Archive for Ubuntu
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
Builds
Package files