Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-03-16 19:22 | 1.8M | ||
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-03-16 19:22 | 2.0M | ||
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-03-16 19:22 | 5.5M | ||
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-03-16 19:22 | 5.6M | ||
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-03-16 19:22 | 4.9M | ||
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-03-16 19:22 | 5.3M | ||
coq_8.3.pl3+dfsg.orig.tar.gz | 2013-03-16 19:22 | 3.0M | ||
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb | 2013-03-16 19:22 | 4.7M | ||
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-03-16 19:22 | 5.3M | ||
coq_8.3.pl3+dfsg-1~bpo60+1.dsc | 2013-03-16 19:22 | 2.2K | ||
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz | 2013-03-16 19:22 | 16K | ||
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb | 2013-03-16 19:22 | 52M | ||