Studenten Net Twente Mirror service

Index of /pub/os/linux/debian-archive/backports.org/pool/main/c/coq/

Filename Modification time Size
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb 52 MiB
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz 16 KiB
coq_8.3.pl3+dfsg-1~bpo60+1.dsc 2205 B
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 5468 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb 1736 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb 4769 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 1736 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 5462 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 4766 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb 1735 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 1734 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 5354 KiB
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb 1733 KiB
coq_8.3.pl3+dfsg.orig.tar.gz 3079 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 5411 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb 2425 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb 4998 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 2427 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 5409 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 4996 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb 2427 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 2425 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 5434 KiB
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb 2425 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 5749 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb 2447 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb 5613 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 2453 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 5720 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 5576 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb 2449 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 2448 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 6543 KiB
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb 2448 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 2047 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb 522 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb 1809 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 523 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 2046 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 1811 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb 519 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 518 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 2089 KiB
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb 519 KiB