Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Mageia
>
6
>
armv5tl
>
by-pkgid
>
7285f341937b17c4151aef9e11a26272
>
location
coq-8.5pl2-2.mga6.src.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
rpms/7285f341937b17c4151aef9e11a26272
Mageia / 6 / armv7hl / core-release-src
Mageia / 6 / armv5tl / core-release-src
Mageia / 6 / i586 / core-release-src
Mageia / 6 / x86_64 / core-release-src
Generated packages:
coq-8.5pl2-2.mga6.armv5tl
coq-ide-8.5pl2-2.mga6.armv5tl
coq-8.5pl2-2.mga6.armv7hl
coq-ide-8.5pl2-2.mga6.armv7hl
coq-8.5pl2-2.mga6.i586
coq-ide-8.5pl2-2.mga6.i586
coq-doc-8.5pl2-2.mga6.noarch
coq-8.5pl2-2.mga6.x86_64
coq-ide-8.5pl2-2.mga6.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