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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.3.pl3+dfsg-1~bpo60+1.dsc2.2 KiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz16.1 KiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb518.1 KiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb518.6 KiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb519.3 KiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb522.2 KiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb522.7 KiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb1.7 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb1.7 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb1.7 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb1.7 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb1.7 MiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb1.8 MiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i38..>1.8 MiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd..>2.0 MiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2.0 MiB2013-Mar-16 18:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2.0 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb2.4 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2.4 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb2.4 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb2.4 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2.4 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb2.4 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb2.4 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2.4 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb2.4 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2.4 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg.orig.tar.gz3.0 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb4.7 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb4.7 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb4.9 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb4.9 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb5.2 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb5.3 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb5.3 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb5.3 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb5.3 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb5.3 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd..>5.4 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb5.5 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd..>5.6 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb5.6 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc...>6.4 MiB2013-Mar-16 18:22
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb51.5 MiB2013-Mar-16 18:22