Studenten Net Twente Mirror service

Index of /debian/pool/main/c/coq/

Filename Modification time Size
coq-theories_8.4pl4dfsg-1_all.deb 31 MiB
coq-theories_8.6-4_amd64.deb 30 MiB
coq-theories_8.6-4_arm64.deb 22 MiB
coq-theories_8.6-4_armel.deb 22 MiB
coq-theories_8.6-4_armhf.deb 22 MiB
coq-theories_8.6-4_i386.deb 29 MiB
coq-theories_8.6-4_mips.deb 22 MiB
coq-theories_8.6-4_mips64el.deb 22 MiB
coq-theories_8.6-4_mipsel.deb 22 MiB
coq-theories_8.6-4_ppc64el.deb 22 MiB
coq-theories_8.6-4_s390x.deb 22 MiB
coq-theories_8.9.0-1_amd64.deb 28 MiB
coq-theories_8.9.0-1_arm64.deb 19 MiB
coq-theories_8.9.0-1_armel.deb 19 MiB
coq-theories_8.9.0-1_armhf.deb 19 MiB
coq-theories_8.9.0-1_i386.deb 27 MiB
coq-theories_8.9.0-1_mips.deb 19 MiB
coq-theories_8.9.0-1_mips64el.deb 19 MiB
coq-theories_8.9.0-1_mipsel.deb 19 MiB
coq-theories_8.9.0-1_ppc64el.deb 19 MiB
coq-theories_8.9.0-1_s390x.deb 19 MiB
coq-theories_8.12.0-3+b3_amd64.deb 35 MiB
coq-theories_8.12.0-3+b3_arm64.deb 23 MiB
coq-theories_8.12.0-3+b3_armel.deb 23 MiB
coq-theories_8.12.0-3+b3_armhf.deb 23 MiB
coq-theories_8.12.0-3+b3_i386.deb 34 MiB
coq-theories_8.12.0-3+b3_mips64el.deb 23 MiB
coq-theories_8.12.0-3+b3_mipsel.deb 23 MiB
coq-theories_8.12.0-3+b3_ppc64el.deb 23 MiB
coq-theories_8.15.0+dfsg-1+b1_amd64.deb 20 MiB
coq-theories_8.15.0+dfsg-1+b1_arm64.deb 20 MiB
coq-theories_8.15.0+dfsg-1+b1_armhf.deb 20 MiB
coq-theories_8.15.0+dfsg-1+b1_i386.deb 20 MiB
coq-theories_8.15.0+dfsg-1+b1_ppc64el.deb 20 MiB
coq-theories_8.15.0+dfsg-1+b1_s390x.deb 20 MiB
coq_8.4pl4dfsg-1.debian.tar.xz 15 KiB
coq_8.4pl4dfsg-1.dsc 2374 B
coq_8.4pl4dfsg-1_amd64.deb 3953 KiB
coq_8.4pl4dfsg-1_armel.deb 3742 KiB
coq_8.4pl4dfsg-1_armhf.deb 3830 KiB
coq_8.4pl4dfsg-1_i386.deb 3717 KiB
coq_8.4pl4dfsg.orig.tar.gz 3444 KiB
coq_8.6-4.debian.tar.xz 21 KiB
coq_8.6-4.dsc 2396 B
coq_8.6-4_amd64.deb 13 MiB
coq_8.6-4_arm64.deb 13 MiB
coq_8.6-4_armel.deb 13 MiB
coq_8.6-4_armhf.deb 13 MiB
coq_8.6-4_i386.deb 13 MiB
coq_8.6-4_mips.deb 18 MiB
coq_8.6-4_mips64el.deb 18 MiB
coq_8.6-4_mipsel.deb 18 MiB
coq_8.6-4_ppc64el.deb 18 MiB
coq_8.6-4_s390x.deb 18 MiB
coq_8.6.orig.tar.gz 4891 KiB
coq_8.9.0-1.debian.tar.xz 27 KiB
coq_8.9.0-1.dsc 2417 B
coq_8.9.0-1_amd64.deb 56 MiB
coq_8.9.0-1_arm64.deb 60 MiB
coq_8.9.0-1_armel.deb 48 MiB
coq_8.9.0-1_armhf.deb 55 MiB
coq_8.9.0-1_i386.deb 54 MiB
coq_8.9.0-1_mips.deb 48 MiB
coq_8.9.0-1_mips64el.deb 48 MiB
coq_8.9.0-1_mipsel.deb 48 MiB
coq_8.9.0-1_ppc64el.deb 58 MiB
coq_8.9.0-1_s390x.deb 56 MiB
coq_8.9.0.orig.tar.gz 5269 KiB
coq_8.12.0-3+b3_amd64.deb 86 MiB
coq_8.12.0-3+b3_arm64.deb 92 MiB
coq_8.12.0-3+b3_armel.deb 101 MiB
coq_8.12.0-3+b3_armhf.deb 84 MiB
coq_8.12.0-3+b3_i386.deb 84 MiB
coq_8.12.0-3+b3_mips64el.deb 101 MiB
coq_8.12.0-3+b3_mipsel.deb 101 MiB
coq_8.12.0-3+b3_ppc64el.deb 87 MiB
coq_8.12.0-3.debian.tar.xz 37 KiB
coq_8.12.0-3.dsc 2483 B
coq_8.12.0.orig.tar.gz 5867 KiB
coq_8.15.0+dfsg-1.debian.tar.xz 39 KiB
coq_8.15.0+dfsg-1.dsc 2607 B
coq_8.15.0+dfsg.orig.tar.xz 4560 KiB
coq_8.15.1+dfsg-1.debian.tar.xz 39 KiB
coq_8.15.1+dfsg-1.dsc 2599 B
coq_8.15.1+dfsg-1_amd64.deb 77 MiB
coq_8.15.1+dfsg-1_arm64.deb 84 MiB
coq_8.15.1+dfsg-1_armhf.deb 74 MiB
coq_8.15.1+dfsg-1_i386.deb 73 MiB
coq_8.15.1+dfsg-1_ppc64el.deb 78 MiB
coq_8.15.1+dfsg-1_s390x.deb 77 MiB
coq_8.15.1+dfsg.orig.tar.xz 4563 KiB
coqide_8.4pl4dfsg-1_amd64.deb 779 KiB
coqide_8.4pl4dfsg-1_armel.deb 780 KiB
coqide_8.4pl4dfsg-1_armhf.deb 804 KiB
coqide_8.4pl4dfsg-1_i386.deb 714 KiB
coqide_8.6-4_amd64.deb 1373 KiB
coqide_8.6-4_arm64.deb 1391 KiB
coqide_8.6-4_armel.deb 1400 KiB
coqide_8.6-4_armhf.deb 1438 KiB
coqide_8.6-4_i386.deb 1283 KiB
coqide_8.6-4_mips.deb 1847 KiB
coqide_8.6-4_mips64el.deb 1847 KiB
coqide_8.6-4_mipsel.deb 1847 KiB
coqide_8.6-4_ppc64el.deb 1847 KiB
coqide_8.6-4_s390x.deb 1847 KiB
coqide_8.12.0-3+b3_amd64.deb 1835 KiB
coqide_8.12.0-3+b3_arm64.deb 2120 KiB
coqide_8.12.0-3+b3_armel.deb 46 KiB
coqide_8.12.0-3+b3_armhf.deb 1696 KiB
coqide_8.12.0-3+b3_i386.deb 1683 KiB
coqide_8.12.0-3+b3_mips64el.deb 46 KiB
coqide_8.12.0-3+b3_mipsel.deb 46 KiB
coqide_8.12.0-3+b3_ppc64el.deb 1912 KiB
coqide_8.15.1+dfsg-1_amd64.deb 1950 KiB
coqide_8.15.1+dfsg-1_arm64.deb 2260 KiB
coqide_8.15.1+dfsg-1_armhf.deb 1795 KiB
coqide_8.15.1+dfsg-1_i386.deb 1765 KiB
coqide_8.15.1+dfsg-1_ppc64el.deb 2021 KiB
coqide_8.15.1+dfsg-1_s390x.deb 1954 KiB
libcoq-core-ocaml-dev_8.15.1+dfsg-1_amd64.deb 37 MiB
libcoq-core-ocaml-dev_8.15.1+dfsg-1_arm64.deb 37 MiB
libcoq-core-ocaml-dev_8.15.1+dfsg-1_armhf.deb 38 MiB
libcoq-core-ocaml-dev_8.15.1+dfsg-1_i386.deb 38 MiB
libcoq-core-ocaml-dev_8.15.1+dfsg-1_ppc64el.deb 38 MiB
libcoq-core-ocaml-dev_8.15.1+dfsg-1_s390x.deb 37 MiB
libcoq-core-ocaml_8.15.1+dfsg-1_amd64.deb 21 MiB
libcoq-core-ocaml_8.15.1+dfsg-1_arm64.deb 22 MiB
libcoq-core-ocaml_8.15.1+dfsg-1_armhf.deb 21 MiB
libcoq-core-ocaml_8.15.1+dfsg-1_i386.deb 21 MiB
libcoq-core-ocaml_8.15.1+dfsg-1_ppc64el.deb 22 MiB
libcoq-core-ocaml_8.15.1+dfsg-1_s390x.deb 22 MiB
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 3692 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb 4023 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 3923 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 3685 KiB
libcoq-ocaml-dev_8.6-4_amd64.deb 13 MiB
libcoq-ocaml-dev_8.6-4_arm64.deb 13 MiB
libcoq-ocaml-dev_8.6-4_armel.deb 13 MiB
libcoq-ocaml-dev_8.6-4_armhf.deb 13 MiB
libcoq-ocaml-dev_8.6-4_i386.deb 13 MiB
libcoq-ocaml-dev_8.6-4_mips.deb 9817 KiB
libcoq-ocaml-dev_8.6-4_mips64el.deb 9815 KiB
libcoq-ocaml-dev_8.6-4_mipsel.deb 9818 KiB
libcoq-ocaml-dev_8.6-4_ppc64el.deb 9819 KiB
libcoq-ocaml-dev_8.6-4_s390x.deb 9819 KiB
libcoq-ocaml-dev_8.9.0-1_amd64.deb 13 MiB
libcoq-ocaml-dev_8.9.0-1_arm64.deb 13 MiB
libcoq-ocaml-dev_8.9.0-1_armel.deb 7755 KiB
libcoq-ocaml-dev_8.9.0-1_armhf.deb 14 MiB
libcoq-ocaml-dev_8.9.0-1_i386.deb 13 MiB
libcoq-ocaml-dev_8.9.0-1_mips.deb 7754 KiB
libcoq-ocaml-dev_8.9.0-1_mips64el.deb 7755 KiB
libcoq-ocaml-dev_8.9.0-1_mipsel.deb 7755 KiB
libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 13 MiB
libcoq-ocaml-dev_8.9.0-1_s390x.deb 13 MiB
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 18 MiB
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 18 MiB
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb 11 MiB
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 18 MiB
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 18 MiB
libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb 11 MiB
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb 11 MiB
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb 19 MiB
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_amd64.deb 37 MiB
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_arm64.deb 37 MiB
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_armhf.deb 38 MiB
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_i386.deb 37 MiB
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_ppc64el.deb 38 MiB
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_s390x.deb 37 MiB
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 1599 KiB
libcoq-ocaml_8.4pl4dfsg-1_armel.deb 1502 KiB
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 1543 KiB
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 1455 KiB
libcoq-ocaml_8.6-4_amd64.deb 3420 KiB
libcoq-ocaml_8.6-4_arm64.deb 3398 KiB
libcoq-ocaml_8.6-4_armel.deb 3433 KiB
libcoq-ocaml_8.6-4_armhf.deb 3481 KiB
libcoq-ocaml_8.6-4_i386.deb 3322 KiB
libcoq-ocaml_8.6-4_mips.deb 2319 KiB
libcoq-ocaml_8.6-4_mips64el.deb 2318 KiB
libcoq-ocaml_8.6-4_mipsel.deb 2319 KiB
libcoq-ocaml_8.6-4_ppc64el.deb 2319 KiB
libcoq-ocaml_8.6-4_s390x.deb 2320 KiB
libcoq-ocaml_8.9.0-1_amd64.deb 5335 KiB
libcoq-ocaml_8.9.0-1_arm64.deb 5668 KiB
libcoq-ocaml_8.9.0-1_armel.deb 3495 KiB
libcoq-ocaml_8.9.0-1_armhf.deb 5258 KiB
libcoq-ocaml_8.9.0-1_i386.deb 5065 KiB
libcoq-ocaml_8.9.0-1_mips.deb 3498 KiB
libcoq-ocaml_8.9.0-1_mips64el.deb 3494 KiB
libcoq-ocaml_8.9.0-1_mipsel.deb 3498 KiB
libcoq-ocaml_8.9.0-1_ppc64el.deb 5438 KiB
libcoq-ocaml_8.9.0-1_s390x.deb 5419 KiB
libcoq-ocaml_8.12.0-3+b3_amd64.deb 7576 KiB
libcoq-ocaml_8.12.0-3+b3_arm64.deb 7793 KiB
libcoq-ocaml_8.12.0-3+b3_armel.deb 5332 KiB
libcoq-ocaml_8.12.0-3+b3_armhf.deb 7562 KiB
libcoq-ocaml_8.12.0-3+b3_i386.deb 7398 KiB
libcoq-ocaml_8.12.0-3+b3_mips64el.deb 5332 KiB
libcoq-ocaml_8.12.0-3+b3_mipsel.deb 5332 KiB
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb 7633 KiB
libcoq-ocaml_8.15.0+dfsg-1+b1_amd64.deb 21 MiB
libcoq-ocaml_8.15.0+dfsg-1+b1_arm64.deb 22 MiB
libcoq-ocaml_8.15.0+dfsg-1+b1_armhf.deb 21 MiB
libcoq-ocaml_8.15.0+dfsg-1+b1_i386.deb 21 MiB
libcoq-ocaml_8.15.0+dfsg-1+b1_ppc64el.deb 22 MiB
libcoq-ocaml_8.15.0+dfsg-1+b1_s390x.deb 21 MiB
libcoq-stdlib_8.15.1+dfsg-1_amd64.deb 20 MiB
libcoq-stdlib_8.15.1+dfsg-1_arm64.deb 20 MiB
libcoq-stdlib_8.15.1+dfsg-1_armhf.deb 20 MiB
libcoq-stdlib_8.15.1+dfsg-1_i386.deb 20 MiB
libcoq-stdlib_8.15.1+dfsg-1_ppc64el.deb 20 MiB
libcoq-stdlib_8.15.1+dfsg-1_s390x.deb 20 MiB