/ubuntu/pool/universe/c/coq/

0 directories 85 files
Name Size Modified
Go up — —
coq-theories_8.11.0-1_amd64.deb 32 MiB
coq-theories_8.4pl3dfsg-1_all.deb 30 MiB
coq-theories_8.4pl4dfsg-3build2_all.deb 31 MiB
coq-theories_8.6-5build1_amd64.deb 32 MiB
coq-theories_8.6-5build1_i386.deb 31 MiB
coq_8.11.0-1.debian.tar.xz 31 KiB
coq_8.11.0-1.dsc 2.4 KiB
coq_8.11.0-1_amd64.deb 73 MiB
coq_8.11.0.orig.tar.gz 5.6 MiB
coq_8.15.0+dfsg-2.debian.tar.xz 39 KiB
coq_8.15.0+dfsg-2.dsc 2.5 KiB
coq_8.15.0+dfsg-2_amd64.deb 91 MiB
coq_8.15.0+dfsg.orig.tar.xz 4.5 MiB
coq_8.16.1+dfsg-1build2.debian.tar.xz 32 KiB
coq_8.16.1+dfsg-1build2.dsc 2.6 KiB
coq_8.16.1+dfsg-1build2_amd64.deb 104 MiB
coq_8.16.1+dfsg.orig.tar.xz 4.5 MiB
coq_8.17.0+dfsg-1build1.debian.tar.xz 32 KiB
coq_8.17.0+dfsg-1build1.dsc 2.6 KiB
coq_8.17.0+dfsg-1build1_amd64.deb 89 MiB
coq_8.17.0+dfsg.orig.tar.xz 4.6 MiB
coq_8.18.0+dfsg-1build2.debian.tar.xz 33 KiB
coq_8.18.0+dfsg-1build2.dsc 2.6 KiB
coq_8.18.0+dfsg-1build2_amd64.deb 92 MiB
coq_8.18.0+dfsg.orig.tar.xz 4.6 MiB
coq_8.19.1+dfsg-1.debian.tar.xz 32 KiB
coq_8.19.1+dfsg-1.dsc 2.5 KiB
coq_8.19.1+dfsg-1_amd64.deb 92 MiB
coq_8.19.1+dfsg.orig.tar.bz2 5.3 MiB
coq_8.4pl3dfsg-1.debian.tar.xz 15 KiB
coq_8.4pl3dfsg-1.dsc 2.3 KiB
coq_8.4pl3dfsg-1_amd64.deb 3.9 MiB
coq_8.4pl3dfsg-1_i386.deb 3.6 MiB
coq_8.4pl3dfsg.orig.tar.gz 3.4 MiB
coq_8.4pl4dfsg-3build2.debian.tar.xz 16 KiB
coq_8.4pl4dfsg-3build2.dsc 2.3 KiB
coq_8.4pl4dfsg-3build2_amd64.deb 3.8 MiB
coq_8.4pl4dfsg-3build2_i386.deb 3.6 MiB
coq_8.4pl4dfsg.orig.tar.gz 3.4 MiB
coq_8.6-5build1.debian.tar.xz 21 KiB
coq_8.6-5build1.dsc 2.3 KiB
coq_8.6-5build1_amd64.deb 17 MiB
coq_8.6-5build1_i386.deb 16 MiB
coq_8.6.orig.tar.gz 4.8 MiB
coqide_8.11.0-1_amd64.deb 1.7 MiB
coqide_8.15.0+dfsg-2_amd64.deb 2.3 MiB
coqide_8.16.1+dfsg-1build2_amd64.deb 2.2 MiB
coqide_8.17.0+dfsg-1build1_amd64.deb 2.2 MiB
coqide_8.18.0+dfsg-1build2_amd64.deb 2.2 MiB
coqide_8.19.1+dfsg-1_amd64.deb 2.2 MiB
coqide_8.4pl3dfsg-1_amd64.deb 727 KiB
coqide_8.4pl3dfsg-1_i386.deb 662 KiB
coqide_8.4pl4dfsg-3build2_amd64.deb 731 KiB
coqide_8.4pl4dfsg-3build2_i386.deb 695 KiB
coqide_8.6-5build1_amd64.deb 1.5 MiB
coqide_8.6-5build1_i386.deb 1.3 MiB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 43 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb 47 MiB
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb 48 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb 49 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb 50 MiB
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 26 MiB
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb 26 MiB
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb 26 MiB
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 26 MiB
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb 27 MiB
libcoq-ocaml-dev_8.11.0-1_amd64.deb 15 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 3.5 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 3.5 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 3.5 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 3.6 MiB
libcoq-ocaml-dev_8.6-5build1_amd64.deb 13 MiB
libcoq-ocaml-dev_8.6-5build1_i386.deb 13 MiB
libcoq-ocaml_8.11.0-1_amd64.deb 6.0 MiB
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 1.5 MiB
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 1.4 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 1.4 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 1.3 MiB
libcoq-ocaml_8.6-5build1_amd64.deb 3.4 MiB
libcoq-ocaml_8.6-5build1_i386.deb 3.2 MiB
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 24 MiB
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb 23 MiB
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb 27 MiB
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 25 MiB
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb 26 MiB