Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
19
>
i386
>
by-pkgid
>
6141746cd5048a6ddf1cf3194274ce61
>
location
ghc-Agda-devel-2.3.2.1-5.fc19.i686.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
rpms/6141746cd5048a6ddf1cf3194274ce61
Fedora / 19 / i386 / updates
Sources packages:
Agda-2.3.2.1-5.fc19
Other version of this rpm:
ghc-Agda-devel-2.5.2-1.21.x86_64
ghc-Agda-devel-2.5.2-1.21.i586
ghc-Agda-devel-2.3.2.2-2.fc20.x86_64
ghc-Agda-devel-2.3.2.2-2.fc20.i686
ghc-Agda-devel-2.3.2.1-5.fc19.x86_64