Studenten Net Twente Mirror service

Index of /pub/linux/debian-archive/debian-debug/pool/main/c/coq/

Filename Modification time Size
coq-dbgsym_8.6-4_amd64.deb 1359 KiB
coq-dbgsym_8.6-4_arm64.deb 1283 KiB
coq-dbgsym_8.6-4_armel.deb 1402 KiB
coq-dbgsym_8.6-4_armhf.deb 1394 KiB
coq-dbgsym_8.6-4_i386.deb 1281 KiB
coq-dbgsym_8.9.0-1_amd64.deb 3649 KiB
coq-dbgsym_8.9.0-1_arm64.deb 3526 KiB
coq-dbgsym_8.9.0-1_armhf.deb 3234 KiB
coq-dbgsym_8.9.0-1_i386.deb 3635 KiB
coq-dbgsym_8.9.0-1_ppc64el.deb 2754 KiB
coq-dbgsym_8.9.0-1_s390x.deb 2860 KiB
coq-dbgsym_8.12.0-3+b3_amd64.deb 8031 KiB
coq-dbgsym_8.12.0-3+b3_arm64.deb 7281 KiB
coq-dbgsym_8.12.0-3+b3_armhf.deb 6312 KiB
coq-dbgsym_8.12.0-3+b3_i386.deb 7885 KiB
coq-dbgsym_8.12.0-3+b3_ppc64el.deb 5830 KiB
coq-theories-dbgsym_8.6-4_amd64.deb 857 KiB
coq-theories-dbgsym_8.6-4_i386.deb 827 KiB
coq-theories-dbgsym_8.9.0-1_amd64.deb 755 KiB
coq-theories-dbgsym_8.9.0-1_i386.deb 726 KiB
coq-theories-dbgsym_8.12.0-3+b3_amd64.deb 966 KiB
coq-theories-dbgsym_8.12.0-3+b3_i386.deb 926 KiB
coq_8.6-4.debian.tar.xz 21 KiB
coq_8.6-4.dsc 2396 B
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.orig.tar.gz 5269 KiB
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
coqide-dbgsym_8.6-4_amd64.deb 357 KiB
coqide-dbgsym_8.6-4_arm64.deb 349 KiB
coqide-dbgsym_8.6-4_armel.deb 367 KiB
coqide-dbgsym_8.6-4_armhf.deb 367 KiB
coqide-dbgsym_8.6-4_i386.deb 340 KiB
coqide-dbgsym_8.12.0-3+b3_amd64.deb 554 KiB
coqide-dbgsym_8.12.0-3+b3_arm64.deb 562 KiB
coqide-dbgsym_8.12.0-3+b3_armhf.deb 488 KiB
coqide-dbgsym_8.12.0-3+b3_i386.deb 528 KiB
coqide-dbgsym_8.12.0-3+b3_ppc64el.deb 473 KiB
libcoq-ocaml-dbgsym_8.6-4_amd64.deb 259 KiB
libcoq-ocaml-dbgsym_8.6-4_arm64.deb 250 KiB
libcoq-ocaml-dbgsym_8.6-4_armel.deb 270 KiB
libcoq-ocaml-dbgsym_8.6-4_armhf.deb 278 KiB
libcoq-ocaml-dbgsym_8.6-4_i386.deb 252 KiB
libcoq-ocaml-dbgsym_8.6-4_mips.deb 18 KiB
libcoq-ocaml-dbgsym_8.6-4_mips64el.deb 18 KiB
libcoq-ocaml-dbgsym_8.6-4_mipsel.deb 18 KiB
libcoq-ocaml-dbgsym_8.6-4_ppc64el.deb 21 KiB
libcoq-ocaml-dbgsym_8.6-4_s390x.deb 22 KiB
libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb 522 KiB
libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb 501 KiB
libcoq-ocaml-dbgsym_8.9.0-1_armel.deb 25 KiB
libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb 468 KiB
libcoq-ocaml-dbgsym_8.9.0-1_i386.deb 509 KiB
libcoq-ocaml-dbgsym_8.9.0-1_mips.deb 26 KiB
libcoq-ocaml-dbgsym_8.9.0-1_mips64el.deb 26 KiB
libcoq-ocaml-dbgsym_8.9.0-1_mipsel.deb 25 KiB
libcoq-ocaml-dbgsym_8.9.0-1_ppc64el.deb 443 KiB
libcoq-ocaml-dbgsym_8.9.0-1_s390x.deb 425 KiB
libcoq-ocaml-dbgsym_8.12.0-3+b3_amd64.deb 646 KiB
libcoq-ocaml-dbgsym_8.12.0-3+b3_arm64.deb 560 KiB
libcoq-ocaml-dbgsym_8.12.0-3+b3_armel.deb 38 KiB
libcoq-ocaml-dbgsym_8.12.0-3+b3_armhf.deb 569 KiB
libcoq-ocaml-dbgsym_8.12.0-3+b3_i386.deb 638 KiB
libcoq-ocaml-dbgsym_8.12.0-3+b3_mips64el.deb 30 KiB
libcoq-ocaml-dbgsym_8.12.0-3+b3_mipsel.deb 39 KiB
libcoq-ocaml-dbgsym_8.12.0-3+b3_ppc64el.deb 523 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb 80 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb 78 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_armel.deb 84 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb 84 KiB
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb 77 KiB