Coq platform name | Coq platform version | Debian name | Debian version |
---|---|---|---|
atd | 2.15.0 | libatd-ocaml | 2.15.0-2+b2 |
atdgen | 2.15.0 | libatdgen-ocaml | 2.15.0-2+b2 |
atdgen-runtime | 2.15.0 | libatdgen-ocaml | 2.15.0-2+b2 |
atdts | 2.15.0 | atdts | 2.15.0-2+b2 |
base | v0.16.3 | libbase-ocaml | 0.17.1-1 |
biniou | 1.2.2 | libbiniou-ocaml | 1.2.2-4+b1 |
cairo2 | 0.6.4 | libcairo2-ocaml | 0.6.5-2 |
camlp-streams | 5.0.1 | libcamlp-streams-ocaml | 5.0.1-3+b2 |
cmdliner | 1.3.0 | libcmdliner-ocaml-dev | 1.3.0-2+b1 |
coq | 8.19.2 | coq | 8.20.0+dfsg-1 |
coq-aac-tactics | 8.19.0 | libcoq-aac-tactics | 8.20.0-1 |
coq-bedrock2 | 0.0.8 | ||
coq-bedrock2-compiler | 0.0.8 | ||
coq-bignums | 9.0.0+coq8.19 | libcoq-bignums | 9.0.0+coq8.20-1+b5 |
coq-compcert | 3.13.1 | ||
coq-coqeal | 2.0.2 | libcoq-coqeal | 2.0.3-1+b1 |
coq-coqprime | 1.5.0 | libcoq-coqprime | 8.20-1 |
coq-coqprime-generator | 1.1.1 | libcoq-coqprime | 8.20-1 |
coq-coquelicot | 3.4.1 | libcoq-coquelicot | 3.4.2-1+b1 |
coq-coqutil | 0.0.6 | ||
coq-core | 8.19.2 | libcoq-core-ocaml | 8.20.0+dfsg-1 |
coq-corn | 8.19.0 | libcoq-corn | 8.19.0+ds1-2+b2 |
coq-deriving | 0.2.0 | libcoq-deriving | 0.2.1-1+b1 |
coq-dpdgraph | 1.0+8.19 | libcoq-dpdgraph | 1.0+8.20-1 |
coq-elpi | 2.1.0 | libcoq-elpi | 2.3.0-1 |
coq-equations | 1.3+8.19 | libcoq-equations | 1.3.1-8.20-1 |
coq-ext-lib | 0.12.1 | libcoq-ext-lib | 0.12.2-1+b2 |
coq-extructures | 0.4.0 | libcoq-extructures | 0.5.0-1+b1 |
coq-fiat-crypto | 0.1.3 | ||
coq-flocq | 4.1.4 | libcoq-flocq | 4.2.0-1+b2 |
coq-gappa | 1.5.5 | libcoq-gappa | 1.5.5-2+b4 |
coq-hammer | 1.3.2+8.19 | libcoq-hammer | 1.3.2+8.20-1 |
coq-hammer-tactics | 1.3.2+8.19 | libcoq-hammer | 1.3.2+8.20-1 |
coq-hierarchy-builder | 1.7.0 | libcoq-hierarchy-builder | 1.8.0-1+b1 |
coq-hott | 8.19 | libcoq-hott | 8.20-1+b2 |
coq-interval | 4.10.0 | libcoq-interval | 4.11.1-1+b3 |
coq-iris | 4.2.0 | libcoq-iris | 4.3.0-1 |
coq-iris-heap-lang | 4.2.0 | libcoq-iris | 4.3.0-1 |
coq-itauto | 8.19.0 | ||
coq-libhyps | 2.0.8 | libcoq-libhyps | 2.0.8-4+b4 |
coq-math-classes | 8.19.0 | libcoq-math-classes | 8.19.0-1+b7 |
coq-mathcomp-algebra | 2.2.0 | libcoq-mathcomp-algebra | 2.3.0-1+b1 |
coq-mathcomp-algebra-tactics | 1.2.3 | libcoq-mathcomp-algebra-tactics | 1.2.3-4+b8 |
coq-mathcomp-analysis | 1.1.0 | libcoq-mathcomp-analysis | 1.8.0-1 |
coq-mathcomp-bigenough | 1.0.1 | libcoq-mathcomp-bigenough | 1.0.1-14+b7 |
coq-mathcomp-character | 2.2.0 | libcoq-mathcomp-character | 2.3.0-1+b1 |
coq-mathcomp-classical | 1.1.0 | libcoq-mathcomp-classical | 1.8.0-1 |
coq-mathcomp-field | 2.2.0 | libcoq-mathcomp-field | 2.3.0-1+b1 |
coq-mathcomp-fingroup | 2.2.0 | libcoq-mathcomp-fingroup | 2.3.0-1+b1 |
coq-mathcomp-finmap | 2.1.0 | libcoq-mathcomp-finmap | 2.1.0-3+b1 |
coq-mathcomp-multinomials | 2.2.0 | libcoq-mathcomp-multinomials | 2.3.0-1+b1 |
coq-mathcomp-real-closed | 2.0.0 | libcoq-mathcomp-real-closed | 2.0.2-1+b1 |
coq-mathcomp-solvable | 2.2.0 | libcoq-mathcomp-solvable | 2.3.0-1+b1 |
coq-mathcomp-ssreflect | 2.2.0 | libcoq-mathcomp-ssreflect | 2.3.0-1+b1 |
coq-mathcomp-word | 3.1 | ||
coq-mathcomp-zify | 1.5.0+2.0+8.16 | libcoq-mathcomp-zify | 1.5.0+2.0+8.16-4+b1 |
coq-menhirlib | 20231231 | libcoq-menhirlib | 20240715+ds-1+b2 |
coq-metacoq | 1.3.1+8.19 | ||
coq-metacoq-common | 1.3.1+8.19 | ||
coq-metacoq-erasure | 1.3.1+8.19 | ||
coq-metacoq-erasure-plugin | 1.3.1+8.19 | ||
coq-metacoq-pcuic | 1.3.1+8.19 | ||
coq-metacoq-quotation | 1.3.1+8.19 | ||
coq-metacoq-safechecker | 1.3.1+8.19 | ||
coq-metacoq-safechecker-plugin | 1.3.1+8.19 | ||
coq-metacoq-template | 1.3.1+8.19 | ||
coq-metacoq-template-pcuic | 1.3.1+8.19 | ||
coq-metacoq-translations | 1.3.1+8.19 | ||
coq-metacoq-utils | 1.3.1+8.19 | ||
coq-mtac2 | 1.4+8.19 | libcoq-mtac2 | 1.4+8.20-1 |
coq-ott | 0.33 | libcoq-ott | 0.34+ds-1 |
coq-paramcoq | 1.1.3+coq8.19 | libcoq-paramcoq | 1.1.3+coq8.20-1 |
coq-quickchick | 2.0.3 | libcoq-quickchick | 2.0.5-1+b1 |
coq-record-update | 0.3.4 | libcoq-record-update | 0.3.4-4 |
coq-reduction-effects | 0.1.5 | libcoq-reduction-effects | 0.1.5-5+b4 |
coq-reglang | 1.2.1 | libcoq-reglang | 1.2.1-4+b8 |
coq-relation-algebra | 1.7.10 | libcoq-relation-algebra | 1.7.11-1+b1 |
coq-rewriter | 0.0.11 | ||
coq-riscv | 0.0.5 | ||
coq-rupicola | 0.0.10 | ||
coq-serapi | 8.19.0+0.19.2 | libcoq-serapi-ocaml | 8.20.0+0.20.0-1 |
coq-simple-io | 1.9.0 | libcoq-simple-io | 1.10.0-1 |
coq-stdlib | 8.19.2 | libcoq-stdlib | 8.20.0+dfsg-1 |
coq-stdpp | 1.10.0 | libcoq-stdpp | 1.11.0-1+b2 |
coq-unicoq | 1.6+8.19 | libcoq-unicoq | 1.6-8.20-1 |
coq-unimath | 20240331 | libcoq-unimath | 20240923-2 |
coq-vst | 2.14 | ||
coq-vst-zlist | 2.13 | ||
coqide | 8.19.2 | coqide | 8.20.0+dfsg-1 |
coqide-server | 8.19.2 | coq | 8.20.0+dfsg-1 |
cppo | 1.7.0 | cppo | 1.8.0-1 |
csexp | 1.5.2 | libcsexp-ocaml | 1.5.2-4+b2 |
dune | 3.15.3 | ocaml-dune | 3.17.1-2 |
dune-configurator | 3.15.3 | ocaml-dune | 3.17.1-2 |
easy-format | 1.3.4 | libeasy-format-ocaml | 1.3.4-3+b2 |
elpi | 1.18.2 | elpi | 2.0.5-1 |
eprover | 3.1 | eprover | 3.2.5+ds-1 |
gappa | 1.4.1 | gappa | 1.4.1-2 |
gmp-ecm | 7.0.3 | gmp-ecm | 7.0.6+ds-1 |
lablgtk3 | 3.1.5 | liblablgtk3-ocaml | 3.1.5-1+b1 |
lablgtk3-sourceview3 | 3.1.5 | liblablgtksourceview3-ocaml | 3.1.5-1+b1 |
menhir | 20231231 | libmenhir-ocaml-dev | 20240715+ds-1 |
menhirCST | 20231231 | libmenhir-ocaml-dev | 20240715+ds-1 |
menhirLib | 20231231 | libmenhir-ocaml-dev | 20240715+ds-1 |
menhirSdk | 20231231 | libmenhir-ocaml-dev | 20240715+ds-1 |
num | 1.5-1 | libnum-ocaml | 1.5-1+b1 |
ocaml | 4.14.2 | ocaml | 5.2.0-3 |
ocaml-compiler-libs | v0.12.4 | ocaml-compiler-libs | 5.2.0-3 |
ocaml-variants | 4.14.2+options | libvariantslib-ocaml | 1:0.17.0-1 |
ocamlbuild | 0.15.0 | ocamlbuild | 0.15.0-2+b1 |
ocamlfind | 1.9.5~relocatable | ocaml-findlib | 1.9.6-3 |
ocamlgraph | 2.1.0 | libocamlgraph-ocaml-dev | 2.1.0-3+b1 |
ott | 0.33 | libcoq-ott | 0.34+ds-1 |
parsexp | v0.16.0 | libparsexp-ocaml | 0.17.0-1 |
ppx_compare | v0.16.0 | libppx-compare-ocaml | 0.17.0-1+b3 |
ppx_derivers | 1.2.1 | libppx-derivers-ocaml-dev | 1.2.1-4+b2 |
ppx_deriving | 5.2.1 | libppx-deriving-ocaml | 6.0.3-1 |
ppx_deriving_yojson | 3.9.0 | libppx-deriving-yojson-ocaml-dev | 3.9.1-1 |
ppx_hash | v0.16.0 | libppx-hash-ocaml | 0.17.0-1+b4 |
ppx_import | 1.11.0 | libppx-import-ocaml | 1.11.0-2+b3 |
ppx_sexp_conv | v0.16.0 | libppx-sexp-conv-ocaml | 1:0.17.0-1+b3 |
ppxlib | 0.33.0 | libppxlib-jane-ocaml | 0.17.0-3+b4 |
re | 1.12.0 | libre-ocaml-dev | 1.12.0+really1.11.0-1 |
result | 1.5 | libresult-ocaml | 1.5-4+b2 |
sexplib | v0.16.0 | libsexplib-ocaml | 1:0.17.0-1 |
sexplib0 | v0.16.0 | libsexplib0-ocaml | 0.17.0-1 |
stdlib-shims | 0.3.0 | libstdlib-ocaml | 5.2.0-3 |
yojson | 2.2.2 | libyojson-ocaml | 2.2.2-1 |
z3 | 4.13.0-3 | z3 | 4.13.3-1 |
z3_tptp | 4.13.0 | ||
zarith | 1.14 | libzarith-ocaml-dev | 1.14-1 |