Publishing details
Changelog
coq (8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1) jammy; urgency=low
* Auto build.
-- Jason Gross <email address hidden> Sun, 29 Oct 2023 23:05:16 +0000
Builds
Built packages
-
coq
proof assistant for higher-order logic (toplevel and compiler)
-
coqide
proof assistant for higher-order logic (gtk interface)
-
libcoq-core-ocaml
runtime libraries for Coq
-
libcoq-core-ocaml-dev
development libraries and tools for Coq
-
libcoq-stdlib
proof assistant for higher-order logic (theories)
Package files