| 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 |