| ../ | | - | Directory |
| coq-libs_8.0pl2-2_all.deb | 2005-Apr-30 17:24:09 | 3.5M | application/vnd.debian.binary-package |
| coq7-libs_8.0pl2-2_all.deb | 2005-Apr-01 03:47:09 | 3.6M | application/vnd.debian.binary-package |
| coq_8.0pl2-2.diff.gz | 2005-Apr-30 17:24:09 | 10.8K | application/gzip |
| coq_8.0pl2-2.dsc | 2005-Apr-30 17:24:09 | 0.9K | text/prs.lines.tag |
| coq_8.0pl2-2_amd64.deb | 2005-Apr-30 17:24:09 | 6.1M | application/vnd.debian.binary-package |
| coq_8.0pl2.orig.tar.gz | 2005-Apr-30 17:24:09 | 2.1M | application/x-gtar-compressed |
| coqide_8.0pl2-2_amd64.deb | 2005-Apr-30 17:24:09 | 4.0M | application/vnd.debian.binary-package |