Studenten Net Twente Mirror service

Index of /pub/linux/ubuntu/pool/universe/c/coq/

Filename Modification time Size
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-theories_8.11.0-1_amd64.deb 32 MiB
coq_8.4pl3dfsg-1.debian.tar.xz 15 KiB
coq_8.4pl3dfsg-1.dsc 2356 B
coq_8.4pl3dfsg-1_amd64.deb 3945 KiB
coq_8.4pl3dfsg-1_i386.deb 3658 KiB
coq_8.4pl3dfsg.orig.tar.gz 3439 KiB
coq_8.4pl4dfsg-3build2.debian.tar.xz 16 KiB
coq_8.4pl4dfsg-3build2.dsc 2398 B
coq_8.4pl4dfsg-3build2_amd64.deb 3900 KiB
coq_8.4pl4dfsg-3build2_i386.deb 3658 KiB
coq_8.4pl4dfsg.orig.tar.gz 3444 KiB
coq_8.6-5build1.debian.tar.xz 21 KiB
coq_8.6-5build1.dsc 2403 B
coq_8.6-5build1_amd64.deb 17 MiB
coq_8.6-5build1_i386.deb 16 MiB
coq_8.6.orig.tar.gz 4891 KiB
coq_8.11.0-1.debian.tar.xz 31 KiB
coq_8.11.0-1.dsc 2496 B
coq_8.11.0-1_amd64.deb 73 MiB
coq_8.11.0.orig.tar.gz 5689 KiB
coq_8.15.0+dfsg-2.debian.tar.xz 39 KiB
coq_8.15.0+dfsg-2.dsc 2599 B
coq_8.15.0+dfsg-2_amd64.deb 91 MiB
coq_8.15.0+dfsg.orig.tar.xz 4560 KiB
coq_8.16.1+dfsg-1build2.debian.tar.xz 33 KiB
coq_8.16.1+dfsg-1build2.dsc 2628 B
coq_8.16.1+dfsg-1build2_amd64.deb 104 MiB
coq_8.16.1+dfsg.orig.tar.xz 4607 KiB
coq_8.17.0+dfsg-1build1.debian.tar.xz 32 KiB
coq_8.17.0+dfsg-1build1.dsc 2628 B
coq_8.17.0+dfsg-1build1_amd64.deb 89 MiB
coq_8.17.0+dfsg.orig.tar.xz 4661 KiB
coq_8.18.0+dfsg-1build2.debian.tar.xz 33 KiB
coq_8.18.0+dfsg-1build2.dsc 2685 B
coq_8.18.0+dfsg-1build2_amd64.deb 91 MiB
coq_8.18.0+dfsg.orig.tar.xz 4754 KiB
coq_8.19.1+dfsg-1.debian.tar.xz 32 KiB
coq_8.19.1+dfsg-1.dsc 2573 B
coq_8.19.1+dfsg-1_amd64.deb 92 MiB
coq_8.19.1+dfsg.orig.tar.bz2 5458 KiB
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 1509 KiB
coqide_8.6-5build1_i386.deb 1356 KiB
coqide_8.11.0-1_amd64.deb 1718 KiB
coqide_8.15.0+dfsg-2_amd64.deb 2332 KiB
coqide_8.16.1+dfsg-1build2_amd64.deb 2282 KiB
coqide_8.17.0+dfsg-1build1_amd64.deb 2277 KiB
coqide_8.18.0+dfsg-1build2_amd64.deb 2294 KiB
coqide_8.19.1+dfsg-1_amd64.deb 2299 KiB
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.4pl3dfsg-1_amd64.deb 3579 KiB
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 3564 KiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 3584 KiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 3647 KiB
libcoq-ocaml-dev_8.6-5build1_amd64.deb 13 MiB
libcoq-ocaml-dev_8.6-5build1_i386.deb 13 MiB
libcoq-ocaml-dev_8.11.0-1_amd64.deb 15 MiB
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 1548 KiB
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 1401 KiB
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 1469 KiB
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 1360 KiB
libcoq-ocaml_8.6-5build1_amd64.deb 3481 KiB
libcoq-ocaml_8.6-5build1_i386.deb 3315 KiB
libcoq-ocaml_8.11.0-1_amd64.deb 6176 KiB
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