| ../ | | - | Directory |
| coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb | 2013-Mar-16 17:22:12 | 51.5M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz | 2013-Mar-16 17:22:12 | 16.0K | application/x-gtar-compressed |
| coq_8.3.pl3+dfsg-1~bpo60+1.dsc | 2013-Mar-16 17:22:12 | 2.1K | application/octet-stream |
| coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-Mar-16 17:22:12 | 5.3M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb | 2013-Mar-16 17:22:12 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-Mar-16 17:22:13 | 4.6M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb | 2013-Mar-16 17:22:13 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 2013-Mar-16 17:22:13 | 5.3M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 2013-Mar-16 17:22:13 | 4.6M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb | 2013-Mar-16 17:22:13 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb | 2013-Mar-16 17:22:13 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb | 2013-Mar-16 17:22:13 | 5.2M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb | 2013-Mar-16 17:22:13 | 1.7M | application/vnd.debian.binary-package |
| coq_8.3.pl3+dfsg.orig.tar.gz | 2013-Mar-16 17:22:13 | 3.0M | application/x-gtar-compressed |
| coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-Mar-16 17:22:13 | 5.2M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb | 2013-Mar-16 17:22:13 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-Mar-16 17:22:14 | 4.9M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb | 2013-Mar-16 17:22:14 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 2013-Mar-16 17:22:14 | 5.2M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 2013-Mar-16 17:22:14 | 4.9M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb | 2013-Mar-16 17:22:14 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb | 2013-Mar-16 17:22:14 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb | 2013-Mar-16 17:22:15 | 5.3M | application/vnd.debian.binary-package |
| coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb | 2013-Mar-16 17:22:15 | 2.3M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-Mar-16 17:22:15 | 5.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb | 2013-Mar-16 17:22:15 | 2.3M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-Mar-16 17:22:15 | 5.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb | 2013-Mar-16 17:22:15 | 2.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 2013-Mar-16 17:22:16 | 5.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 2013-Mar-16 17:22:16 | 5.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb | 2013-Mar-16 17:22:16 | 2.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb | 2013-Mar-16 17:22:16 | 2.3M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb | 2013-Mar-16 17:22:16 | 6.3M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb | 2013-Mar-16 17:22:17 | 2.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-Mar-16 17:22:17 | 1.9M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb | 2013-Mar-16 17:22:17 | 522.2K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-Mar-16 17:22:17 | 1.7M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb | 2013-Mar-16 17:22:17 | 522.7K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 2013-Mar-16 17:22:17 | 1.9M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 2013-Mar-16 17:22:17 | 1.7M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb | 2013-Mar-16 17:22:17 | 519.2K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb | 2013-Mar-16 17:22:17 | 518.0K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb | 2013-Mar-16 17:22:17 | 2.0M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb | 2013-Mar-16 17:22:17 | 518.6K | application/vnd.debian.binary-package |