Publishing details
Changelog
coq-8.5pl3 (8.5pl3-1~trusty~ppa158) trusty; urgency=medium
* Initial release.
-- Jason Gross <email address hidden> Wed, 03 Feb 2021 13:27:30 -0500
Builds
Built packages
-
coq-8.5pl3
proof assistant for higher-order logic (toplevel and compiler)
-
coq-8.5pl3-theories
proof assistant for higher-order logic (theories)
-
coq-8.5pl3ide
proof assistant for higher-order logic (gtk interface)
-
libcoq-8.5pl3-ocaml
runtime libraries for Coq
-
libcoq-8.5pl3-ocaml-dev
development libraries and tools for Coq
Package files