Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
15
>
i386
>
by-pkgid
>
86327c7b81feff3ea9a7875e6e4c665e
>
scriptlet
coq-coqide-8.3pl2-1.fc15.i686.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse