| ../ | | - | Directory |
| coq-libs_8.0pl2-2_all.deb | 2005-Apr-30 12:54:09 | 3.5M | application/vnd.debian.binary-package |
| coq7-libs_8.0pl2-2_all.deb | 2005-Mar-31 23:17:09 | 3.6M | application/vnd.debian.binary-package |
| coq_8.0pl2-2.diff.gz | 2005-Apr-30 12:54:09 | 10.8K | application/gzip |
| coq_8.0pl2-2.dsc | 2005-Apr-30 12:54:09 | 0.9K | application/octet-stream |
| coq_8.0pl2-2_amd64.deb | 2005-Apr-30 12:54:09 | 6.1M | application/vnd.debian.binary-package |
| coq_8.0pl2.orig.tar.gz | 2005-Apr-30 12:54:09 | 2.1M | application/x-gtar-compressed |
| coqide_8.0pl2-2_amd64.deb | 2005-Apr-30 12:54:09 | 4.0M | application/vnd.debian.binary-package |