Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
17
>
x86_64
>
media
>
updates-src
>
by-pkgid
>
49c4857f2759b5c38d10a5a0f49e25fe
>
scriptlet
Agda-2.3.0.1-1.fc17.src.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse