Studenten Net Twente Mirror service

Index of /pub/linux/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_armhf.deb 19 MiB
coq-theories_8.9.0-1_i386.deb 27 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_armhf.deb 55 MiB
coq_8.9.0-1_i386.deb 54 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.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
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 78 MiB
coq_8.19.1+dfsg-1_arm64.deb 85 MiB
coq_8.19.1+dfsg-1_armhf.deb 75 MiB
coq_8.19.1+dfsg-1_i386.deb 74 MiB
coq_8.19.1+dfsg-1_ppc64el.deb 79 MiB
coq_8.19.1+dfsg-1_riscv64.deb 78 MiB
coq_8.19.1+dfsg-1_s390x.deb 78 MiB
coq_8.19.1+dfsg.orig.tar.bz2 5458 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_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
coqide_8.19.1+dfsg-1_amd64.deb 1957 KiB
coqide_8.19.1+dfsg-1_arm64.deb 2279 KiB
coqide_8.19.1+dfsg-1_armhf.deb 1806 KiB
coqide_8.19.1+dfsg-1_i386.deb 1778 KiB
coqide_8.19.1+dfsg-1_ppc64el.deb 2034 KiB
coqide_8.19.1+dfsg-1_riscv64.deb 1978 KiB
coqide_8.19.1+dfsg-1_s390x.deb 1967 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_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-dev_8.19.1+dfsg-1_amd64.deb 43 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm64.deb 43 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-1_armhf.deb 43 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386.deb 43 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-1_ppc64el.deb 44 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-1_riscv64.deb 47 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-1_s390x.deb 43 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_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-core-ocaml_8.19.1+dfsg-1_amd64.deb 22 MiB
libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb 23 MiB
libcoq-core-ocaml_8.19.1+dfsg-1_armhf.deb 22 MiB
libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb 22 MiB
libcoq-core-ocaml_8.19.1+dfsg-1_ppc64el.deb 22 MiB
libcoq-core-ocaml_8.19.1+dfsg-1_riscv64.deb 22 MiB
libcoq-core-ocaml_8.19.1+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_armhf.deb 14 MiB
libcoq-ocaml-dev_8.9.0-1_i386.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_armhf.deb 5258 KiB
libcoq-ocaml_8.9.0-1_i386.deb 5065 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_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
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-1_arm64.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-1_armhf.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-1_i386.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-1_ppc64el.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-1_riscv64.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-1_s390x.deb 23 MiB