../ | | - | Directory |
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb | 2013-Mar-16 22:52:12 | 51.5M | application/vnd.debian.binary-package |
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz | 2013-Mar-16 22:52:12 | 16.0K | application/x-gtar-compressed |
coq_8.3.pl3+dfsg-1~bpo60+1.dsc | 2013-Mar-16 22:52:12 | 2.1K | text/prs.lines.tag |
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-Mar-16 22:52:12 | 5.3M | application/vnd.debian.binary-package |
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-Mar-16 22:52:13 | 4.6M | application/vnd.debian.binary-package |
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 2013-Mar-16 22:52:13 | 5.3M | application/vnd.debian.binary-package |
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 2013-Mar-16 22:52:13 | 4.6M | application/vnd.debian.binary-package |
coq_8.3.pl3+dfsg.orig.tar.gz | 2013-Mar-16 22:52:13 | 3.0M | application/x-gtar-compressed |
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-Mar-16 22:52:13 | 5.2M | application/vnd.debian.binary-package |
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-Mar-16 22:52:14 | 4.9M | application/vnd.debian.binary-package |
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 2013-Mar-16 22:52:14 | 5.2M | application/vnd.debian.binary-package |
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 2013-Mar-16 22:52:14 | 4.9M | application/vnd.debian.binary-package |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-Mar-16 22:52:15 | 5.6M | application/vnd.debian.binary-package |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-Mar-16 22:52:15 | 5.4M | application/vnd.debian.binary-package |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 2013-Mar-16 22:52:16 | 5.5M | application/vnd.debian.binary-package |
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 2013-Mar-16 22:52:16 | 5.4M | application/vnd.debian.binary-package |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-Mar-16 22:52:17 | 1.9M | application/vnd.debian.binary-package |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-Mar-16 22:52:17 | 1.7M | application/vnd.debian.binary-package |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb | 2013-Mar-16 22:52:17 | 1.9M | application/vnd.debian.binary-package |
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb | 2013-Mar-16 22:52:17 | 1.7M | application/vnd.debian.binary-package |