Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
15
>
i386
>
by-pkgid
>
86327c7b81feff3ea9a7875e6e4c665e
>
location
coq-coqide-8.3pl2-1.fc15.i686.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
rpms/86327c7b81feff3ea9a7875e6e4c665e
Fedora / 15 / i386 / os
Sources packages:
coq-8.3pl2-1.fc15
Other version of this rpm:
coq-coqide-8.4pl4-1.fc20.x86_64
coq-coqide-8.4pl4-1.fc20.i686
coq-coqide-8.4pl1-1.fc18.x86_64
coq-coqide-8.4pl1-1.fc18.i686
coq-coqide-8.3pl2-3.fc16.x86_64