Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
18
>
i386
>
by-pkgid
>
bc20f1b102cdf7a1b7f68473bb835f1e
>
location
coq-coqide-8.4pl1-1.fc18.i686.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
rpms/bc20f1b102cdf7a1b7f68473bb835f1e
Fedora / 18 / i386 / updates
Sources packages:
coq-8.4pl1-1.fc18
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