| Name | Size | Last modified | |
|---|---|---|---|
|
Parent Directory | 4096 | 06-07-2011 12:10:04 |
|
coq-theories_8.3.pl2+dfsg-1+3.12.1+2_all.deb | 53344474 | 06-07-2011 12:05:30 |
|
coq_8.3.pl2+dfsg-1+3.12.1+2.debian.tar.gz | 16644 | 06-07-2011 11:38:31 |
|
coq_8.3.pl2+dfsg-1+3.12.1+2.dsc | 1325 | 06-07-2011 11:38:31 |
|
coq_8.3.pl2+dfsg-1+3.12.1+2_amd64.build | 1331375 | 06-07-2011 12:05:53 |
|
coq_8.3.pl2+dfsg-1+3.12.1+2_amd64.changes | 3220 | 06-07-2011 12:05:53 |
|
coq_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb | 5665170 | 06-07-2011 12:04:42 |
|
coq_8.3.pl2+dfsg.orig.tar.gz | 3147573 | 19-04-2011 17:32:05 |
|
coqide_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb | 5601464 | 06-07-2011 12:04:50 |
|
libcoq-ocaml-dev_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb | 5902608 | 06-07-2011 12:05:49 |
|
libcoq-ocaml_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb | 2090180 | 06-07-2011 12:05:35 |