Files
| -rw-r--r-- | 3600620 | mandrake | mandrake | coq-8.2pl1.tar.gz |
| -rw-r--r-- | 3386 | mandrake | mandrake | coq.spec |
distrib
>
Mandriva
>
2010.2
>
i586
>
media
>
contrib-release-src
>
by-pkgid
>
06c10873fe3d98a3037dbb7acccad3ce
>
files
