Publishing details
Changelog
coq (8.18.0+dfsg-1build2) noble; urgency=medium
* No-change rebuild for CVE-2024-3094
-- Steve Langasek <email address hidden> Sun, 31 Mar 2024 17:52:42 +0000
Builds
Built packages
-
coq
proof assistant for higher-order logic (toplevel and compiler)
-
coq-dbgsym
debug symbols for coq
-
coqide
proof assistant for higher-order logic (gtk interface)
-
coqide-dbgsym
debug symbols for coqide
-
libcoq-core-ocaml
runtime libraries for Coq
-
libcoq-core-ocaml-dbgsym
debug symbols for libcoq-core-ocaml
-
libcoq-core-ocaml-dev
development libraries and tools for Coq
-
libcoq-stdlib
proof assistant for higher-order logic (theories)
Package files