Publishing details
-
Removal requested
.
-
Superseded
by coq - 8.9.0-1build1
-
Published
-
Copied from
ubuntu bionic in
Primary Archive for Ubuntu
Changelog
coq (8.6-5build1) bionic; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Sat, 28 Oct 2017 16:21:16 +0200
Builds
Package files