Publishing details
-
Removal requested
.
-
Published
-
Copied from
ubuntu hirsute in
Primary Archive for Ubuntu
Changelog
coq (8.12.0-3build3) hirsute; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Sat, 28 Nov 2020 10:24:45 +0100
Builds
Package files