Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
18
>
i386
>
by-pkgid
>
1b22f94a52186cf256cb6810f54330af
>
scriptlet
syntastic-coq-2.3.0-12.20130611gitda70025.fc18.noarch.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse