Publishing details
Changelog
coq (8.11~git~202111102212+20979-0~daily331-06b2f46bd1~ubuntu21.04.1) hirsute; urgency=low
* Auto build.
-- Jason Gross <email address hidden> Wed, 10 Nov 2021 22:12:35 +0000
Builds
Built packages
-
coq
proof assistant for higher-order logic (toplevel and compiler)
-
coq-theories
proof assistant for higher-order logic (theories)
-
coqide
proof assistant for higher-order logic (gtk interface)
-
libcoq-ocaml
runtime libraries for Coq
-
libcoq-ocaml-dev
development libraries and tools for Coq
Package files