| name | size | date |
|---|---|---|
| coq-libs_8.0pl2-2_all.deb | 3.56M | 2005-04-30 11:54:09 |
| coq_8.0pl2-2.diff.gz | 10.8K | 2005-04-30 11:54:09 |
| coq_8.0pl2-2.dsc | 0.9K | 2005-04-30 11:54:09 |
| coq_8.0pl2-2_amd64.deb | 6.17M | 2005-04-30 11:54:09 |
| coq_8.0pl2.orig.tar.gz | 2.18M | 2005-04-30 11:54:09 |
| coqide_8.0pl2-2_amd64.deb | 4.09M | 2005-04-30 11:54:09 |
| coq7-libs_8.0pl2-2_all.deb | 3.63M | 2005-03-31 22:17:09 |