Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Mandriva
>
2008.1
>
x86_64
>
by-pkgid
>
fa11f68073dc049f8de067ba8fce50cc
>
location
coq-8.1pl1-1mdv2008.0.src.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
rpms/fa11f68073dc049f8de067ba8fce50cc
Mandriva / 2008.1 / x86_64 / contrib-release-src
Mandriva / 2008.1 / i586 / contrib-release-src
Mandriva / 2008.0 / x86_64 / contrib-release-src
Mandriva / 2008.0 / i586 / contrib-release-src
Generated packages:
coq-8.1pl1-1mdv2008.0.i586
coq-ide-8.1pl1-1mdv2008.0.i586
coq-8.1pl1-1mdv2008.0.x86_64
coq-ide-8.1pl1-1mdv2008.0.x86_64
Other version of this rpm:
coq-8.16.1-1.mga9
coq-8.15.0-1
coq-8.11.0-4.mga8
coq-8.7.1-1.mga7
coq-8.5pl2-2.mga6