Publishing details
Changelog
coq (8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1) cosmic; urgency=low
* Auto build.
-- Jason Gross <email address hidden> Tue, 23 Jul 2019 16:07:13 +0000
Available diffs
- diff from 8.master~git~201904151759+20274-0~daily320-0276bb0~ubuntu18.10.1 to 8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1 (pending)
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