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

NameLast ModifiedSizeType
../ -  Directory
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb2013-Mar-16 17:22:1251.5Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz2013-Mar-16 17:22:1216.0Kapplication/x-gtar-compressed
coq_8.3.pl3+dfsg-1~bpo60+1.dsc2013-Mar-16 17:22:122.1Kapplication/octet-stream
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-Mar-16 17:22:125.3Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb2013-Mar-16 17:22:121.7Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb2013-Mar-16 17:22:134.6Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2013-Mar-16 17:22:131.7Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb2013-Mar-16 17:22:135.3Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb2013-Mar-16 17:22:134.6Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-Mar-16 17:22:131.7Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2013-Mar-16 17:22:131.7Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2013-Mar-16 17:22:135.2Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-Mar-16 17:22:131.7Mapplication/vnd.debian.binary-package
coq_8.3.pl3+dfsg.orig.tar.gz2013-Mar-16 17:22:133.0Mapplication/x-gtar-compressed
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-Mar-16 17:22:135.2Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb2013-Mar-16 17:22:132.3Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb2013-Mar-16 17:22:144.9Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2013-Mar-16 17:22:142.3Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb2013-Mar-16 17:22:145.2Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb2013-Mar-16 17:22:144.9Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-Mar-16 17:22:142.3Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2013-Mar-16 17:22:142.3Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2013-Mar-16 17:22:155.3Mapplication/vnd.debian.binary-package
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-Mar-16 17:22:152.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-Mar-16 17:22:155.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb2013-Mar-16 17:22:152.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb2013-Mar-16 17:22:155.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2013-Mar-16 17:22:152.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb2013-Mar-16 17:22:165.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb2013-Mar-16 17:22:165.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-Mar-16 17:22:162.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2013-Mar-16 17:22:162.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2013-Mar-16 17:22:166.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-Mar-16 17:22:172.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2013-Mar-16 17:22:171.9Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb2013-Mar-16 17:22:17522.2Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb2013-Mar-16 17:22:171.7Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb2013-Mar-16 17:22:17522.7Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb2013-Mar-16 17:22:171.9Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb2013-Mar-16 17:22:171.7Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb2013-Mar-16 17:22:17519.2Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb2013-Mar-16 17:22:17518.0Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb2013-Mar-16 17:22:172.0Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb2013-Mar-16 17:22:17518.6Kapplication/vnd.debian.binary-package
Mirrors @ BSKYB