Studenten Net Twente Mirror service

Index of /pub/os/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.19.1+dfsg-3+b2_amd64.deb 83 MiB
coq_8.19.1+dfsg-3+b2_arm64.deb 88 MiB
coq_8.19.1+dfsg-3+b2_riscv64.deb 84 MiB
coq_8.19.1+dfsg-3+b2_s390x.deb 83 MiB
coq_8.19.1+dfsg-3+b3_ppc64el.deb 83 MiB
coq_8.19.1+dfsg-3.debian.tar.xz 32 KiB
coq_8.19.1+dfsg-3.dsc 2341 B
coq_8.19.1+dfsg.orig.tar.bz2 5458 KiB
coq_8.20.0+dfsg-1.debian.tar.xz 29 KiB
coq_8.20.0+dfsg-1.dsc 2570 B
coq_8.20.0+dfsg-1_amd64.deb 73 MiB
coq_8.20.0+dfsg-1_arm64.deb 77 MiB
coq_8.20.0+dfsg-1_ppc64el.deb 74 MiB
coq_8.20.0+dfsg-1_riscv64.deb 74 MiB
coq_8.20.0+dfsg-1_s390x.deb 74 MiB
coq_8.20.0+dfsg.orig.tar.xz 4895 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.19.1+dfsg-3+b2_amd64.deb 2101 KiB
coqide_8.19.1+dfsg-3+b2_arm64.deb 2412 KiB
coqide_8.19.1+dfsg-3+b2_riscv64.deb 2140 KiB
coqide_8.19.1+dfsg-3+b2_s390x.deb 2117 KiB
coqide_8.19.1+dfsg-3+b3_ppc64el.deb 2136 KiB
coqide_8.20.0+dfsg-1_amd64.deb 1882 KiB
coqide_8.20.0+dfsg-1_arm64.deb 2176 KiB
coqide_8.20.0+dfsg-1_ppc64el.deb 1910 KiB
coqide_8.20.0+dfsg-1_riscv64.deb 1946 KiB
coqide_8.20.0+dfsg-1_s390x.deb 1931 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.19.1+dfsg-3+b2_amd64.deb 64 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb 64 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_riscv64.deb 69 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_s390x.deb 64 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b3_ppc64el.deb 65 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb 66 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb 66 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb 67 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb 71 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb 66 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.19.1+dfsg-3+b2_amd64.deb 24 MiB
libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb 24 MiB
libcoq-core-ocaml_8.19.1+dfsg-3+b2_riscv64.deb 24 MiB
libcoq-core-ocaml_8.19.1+dfsg-3+b2_s390x.deb 24 MiB
libcoq-core-ocaml_8.19.1+dfsg-3+b3_ppc64el.deb 24 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb 25 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb 25 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb 25 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb 25 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb 25 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.19.1+dfsg-3+b2_amd64.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-3+b2_riscv64.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-3+b2_s390x.deb 23 MiB
libcoq-stdlib_8.19.1+dfsg-3+b3_ppc64el.deb 23 MiB
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb 22 MiB
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb 22 MiB
libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb 22 MiB
libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb 22 MiB
libcoq-stdlib_8.20.0+dfsg-1_s390x.deb 22 MiB