Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Mageia
>
6
>
x86_64
>
by-pkgid
>
6e4f5eebb0360f829920ee0977644cbd
>
location
coq-flocq-2.5.1-2.mga6.src.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
rpms/6e4f5eebb0360f829920ee0977644cbd
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-flocq-2.5.1-2.mga6.armv5tl
coq-flocq-2.5.1-2.mga6.armv7hl
coq-flocq-2.5.1-2.mga6.i586
coq-flocq-2.5.1-2.mga6.x86_64
Other version of this rpm:
coq-flocq-4.1.0-2.mga9
coq-flocq-3.2.0-1.mga8
coq-flocq-2.6.0-3.mga7
coq-flocq-2.5.1-2.mga6
coq-flocq-2.3.0-3.mga5