Publishing details
Changelog
coq (8.3.pl3+dfsg-1build1~oneiric1~ppa1) oneiric; urgency=low
* No-change backport to oneiric
-- Jeroen Keiren <email address hidden> Tue, 21 Feb 2012 08:29:34 +0100
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