Parent directory/ | - | - |
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb | 54040792 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc...> | 6700426 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 5886524 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd..> | 5856994 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 5748012 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd..> | 5709712 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 5599138 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 5592652 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb | 5564152 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 5540418 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 5539112 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb | 5482678 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 5118062 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 5116388 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 4883346 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 4880722 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg.orig.tar.gz | 3152870 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb | 2511510 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb | 2507912 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb | 2506574 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb | 2506406 | 2013-Mar-16 17:22 |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb | 2505282 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb | 2485248 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb | 2485196 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb | 2483660 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb | 2483616 | 2013-Mar-16 17:22 |
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb | 2483252 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb | 2138908 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2096404 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd..> | 2094916 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i38..> | 1854494 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 1852056 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb | 1777754 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb | 1777210 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb | 1777104 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb | 1775658 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb | 1774124 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb | 535282 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb | 534734 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb | 531732 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb | 531036 | 2013-Mar-16 17:22 |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb | 530486 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz | 16475 | 2013-Mar-16 17:22 |
coq_8.3.pl3+dfsg-1~bpo60+1.dsc | 2205 | 2013-Mar-16 17:22 |