Index of /ubuntu/pool/universe/c/coq/
../
coq-theories_8.11.0-1_amd64.deb 06-Mar-2020 12:08 32M
coq-theories_8.4pl3dfsg-1_all.deb 13-May-2026 01:16 30M
coq-theories_8.4pl4dfsg-3build2_all.deb 13-May-2026 01:16 31M
coq-theories_8.6-5build1_amd64.deb 11-May-2026 09:17 32M
coq-theories_8.6-5build1_i386.deb 13-May-2026 01:16 31M
coq_8.11.0-1_amd64.deb 06-Mar-2020 12:08 73M
coq_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 03:22 91M
coq_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 23:02 91M
coq_8.20.1+dfsg-1build1_amd64.deb 13-May-2026 01:16 78M
coq_8.20.1+dfsg-1build4_amd64.deb 13-May-2026 01:16 79M
coq_8.4pl3dfsg-1_amd64.deb 13-May-2026 01:16 4M
coq_8.4pl3dfsg-1_i386.deb 13-May-2026 01:16 4M
coq_8.4pl4dfsg-3build2_amd64.deb 13-May-2026 01:16 4M
coq_8.4pl4dfsg-3build2_i386.deb 13-May-2026 01:16 4M
coq_8.6-5build1_amd64.deb 11-May-2026 09:17 17M
coq_8.6-5build1_i386.deb 13-May-2026 01:16 16M
coqide_8.11.0-1_amd64.deb 06-Mar-2020 12:08 2M
coqide_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 03:21 2M
coqide_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 23:02 2M
coqide_8.20.1+dfsg-1build1_amd64.deb 13-May-2026 01:16 2M
coqide_8.20.1+dfsg-1build4_amd64.deb 13-May-2026 01:16 2M
coqide_8.4pl3dfsg-1_amd64.deb 13-May-2026 01:16 727K
coqide_8.4pl3dfsg-1_i386.deb 13-May-2026 01:16 662K
coqide_8.4pl4dfsg-3build2_amd64.deb 13-May-2026 01:16 731K
coqide_8.4pl4dfsg-3build2_i386.deb 13-May-2026 01:16 695K
coqide_8.6-5build1_amd64.deb 11-May-2026 09:17 1M
coqide_8.6-5build1_i386.deb 13-May-2026 01:16 1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 03:21 43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 31-Mar-2024 23:02 49M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64..> 13-May-2026 01:16 66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64..> 13-May-2026 01:16 57M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 03:21 26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 23:02 26M
libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb 13-May-2026 01:16 26M
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb 13-May-2026 01:16 27M
libcoq-ocaml-dev_8.11.0-1_amd64.deb 06-Mar-2020 12:08 15M
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 13-May-2026 01:16 3M
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 13-May-2026 01:16 3M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 13-May-2026 01:16 4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 13-May-2026 01:16 4M
libcoq-ocaml-dev_8.6-5build1_amd64.deb 11-May-2026 09:17 13M
libcoq-ocaml-dev_8.6-5build1_i386.deb 13-May-2026 01:16 13M
libcoq-ocaml_8.11.0-1_amd64.deb 06-Mar-2020 12:08 6M
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 13-May-2026 01:16 2M
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 13-May-2026 01:16 1M
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 13-May-2026 01:16 1M
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 13-May-2026 01:16 1M
libcoq-ocaml_8.6-5build1_amd64.deb 11-May-2026 09:17 3M
libcoq-ocaml_8.6-5build1_i386.deb 13-May-2026 01:16 3M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 03:21 24M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 23:02 25M
libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb 13-May-2026 01:16 26M
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb 13-May-2026 01:16 26M