Coq platform - Debian

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
(using source)