Files
| -rw-r--r-- | 3859883 | root | root | coq-8.3pl3.tar.gz |
| -rw-r--r-- | 3786 | root | root | coq.spec |
distrib
>
Mandriva
>
cooker
>
x86_64
>
media
>
contrib-release-src
>
by-pkgid
>
17f7ae72a3d59a489f729131ad4a82b4
>
files
