| Name | Modified | Size |
|---|---|---|
| .. | ||
| coq-libs_8.0pl2-2_all.deb | 2005-04-30 11:54:09 | 3.56 MiB |
| coq7-libs_8.0pl2-2_all.deb | 2005-03-31 22:17:09 | 3.63 MiB |
| coq_8.0pl2-2.diff.gz | 2005-04-30 11:54:09 | 10.83 KiB |
| coq_8.0pl2-2.dsc | 2005-04-30 11:54:09 | 919 B |
| coq_8.0pl2-2_amd64.deb | 2005-04-30 11:54:09 | 6.17 MiB |
| coq_8.0pl2.orig.tar.gz | 2005-04-30 11:54:09 | 2.18 MiB |
| coqide_8.0pl2-2_amd64.deb | 2005-04-30 11:54:09 | 4.09 MiB |