Studenten Net Twente Mirror service

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

Filename Modification time Size
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_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.16.1+dfsg-1+b2_amd64.deb 89 MiB
coq_8.16.1+dfsg-1+b2_arm64.deb 97 MiB
coq_8.16.1+dfsg-1+b2_armhf.deb 86 MiB
coq_8.16.1+dfsg-1+b2_i386.deb 83 MiB
coq_8.16.1+dfsg-1+b2_ppc64el.deb 90 MiB
coq_8.16.1+dfsg-1+b2_s390x.deb 89 MiB
coq_8.16.1+dfsg-1.debian.tar.xz 32 KiB
coq_8.16.1+dfsg-1.dsc 2629 B
coq_8.16.1+dfsg.orig.tar.xz 4607 KiB
coq_8.18.0+dfsg-1+b1_amd64.deb 78 MiB
coq_8.18.0+dfsg-1+b1_arm64.deb 84 MiB
coq_8.18.0+dfsg-1+b1_armhf.deb 75 MiB
coq_8.18.0+dfsg-1+b1_i386.deb 74 MiB
coq_8.18.0+dfsg-1+b1_ppc64el.deb 78 MiB
coq_8.18.0+dfsg-1+b1_riscv64.deb 77 MiB
coq_8.18.0+dfsg-1+b1_s390x.deb 77 MiB
coq_8.18.0+dfsg-1.debian.tar.xz 32 KiB
coq_8.18.0+dfsg-1.dsc 2570 B
coq_8.18.0+dfsg-1_amd64.deb 78 MiB
coq_8.18.0+dfsg-1_arm64.deb 84 MiB
coq_8.18.0+dfsg-1_armhf.deb 75 MiB
coq_8.18.0+dfsg-1_i386.deb 74 MiB
coq_8.18.0+dfsg-1_ppc64el.deb 78 MiB
coq_8.18.0+dfsg-1_s390x.deb 77 MiB
coq_8.18.0+dfsg.orig.tar.xz 4754 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.16.1+dfsg-1+b2_amd64.deb 1947 KiB
coqide_8.16.1+dfsg-1+b2_arm64.deb 2257 KiB
coqide_8.16.1+dfsg-1+b2_armhf.deb 1792 KiB
coqide_8.16.1+dfsg-1+b2_i386.deb 1764 KiB
coqide_8.16.1+dfsg-1+b2_ppc64el.deb 2028 KiB
coqide_8.16.1+dfsg-1+b2_s390x.deb 1934 KiB
coqide_8.18.0+dfsg-1+b1_amd64.deb 1954 KiB
coqide_8.18.0+dfsg-1+b1_arm64.deb 2272 KiB
coqide_8.18.0+dfsg-1+b1_armhf.deb 1802 KiB
coqide_8.18.0+dfsg-1+b1_i386.deb 1775 KiB
coqide_8.18.0+dfsg-1+b1_ppc64el.deb 2030 KiB
coqide_8.18.0+dfsg-1+b1_riscv64.deb 1969 KiB
coqide_8.18.0+dfsg-1+b1_s390x.deb 1947 KiB
coqide_8.18.0+dfsg-1_amd64.deb 1954 KiB
coqide_8.18.0+dfsg-1_arm64.deb 2264 KiB
coqide_8.18.0+dfsg-1_armhf.deb 1800 KiB
coqide_8.18.0+dfsg-1_i386.deb 1772 KiB
coqide_8.18.0+dfsg-1_ppc64el.deb 2021 KiB
coqide_8.18.0+dfsg-1_s390x.deb 1946 KiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 41 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 41 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 41 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 40 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 42 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 40 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_amd64.deb 42 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_arm64.deb 42 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_armhf.deb 43 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_i386.deb 42 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_ppc64el.deb 43 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_riscv64.deb 47 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_s390x.deb 42 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb 42 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb 42 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb 43 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb 42 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb 43 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb 42 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 22 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 22 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 21 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 21 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb 22 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1+b1_amd64.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1+b1_arm64.deb 23 MiB
libcoq-core-ocaml_8.18.0+dfsg-1+b1_armhf.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1+b1_i386.deb 21 MiB
libcoq-core-ocaml_8.18.0+dfsg-1+b1_ppc64el.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1+b1_riscv64.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1+b1_s390x.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb 23 MiB
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb 21 MiB
libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb 22 MiB
libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb 22 MiB
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_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-stdlib_8.16.1+dfsg-1+b2_amd64.deb 21 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 21 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 21 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 21 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 21 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 21 MiB
libcoq-stdlib_8.18.0+dfsg-1+b1_amd64.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1+b1_arm64.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1+b1_armhf.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1+b1_i386.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1+b1_ppc64el.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1+b1_riscv64.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1+b1_s390x.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1_i386.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb 22 MiB
libcoq-stdlib_8.18.0+dfsg-1_s390x.deb 22 MiB