Index of /pub/linux/backports/pool/main/c/coq/

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