Download ftp.icm.edu.pl   ghc-Agda-2.3.2.1-5.fc19.x86_64.rpm

Provides :
ghc-Agda
ghc-Agda(x86-64)
ghc(Agda-2.3.2.1-51f7e22e123942bee0b6f326e22028f8)
libHSAgda-2.3.2.1-ghc7.4.2.so()(64bit)

Requires :

ghc(pretty-1.1.1.0-91ed62f0481a81d292d550eec35ee75b)
ghc(zlib-0.5.4.0-f9a7b27d857d3e506b8524567650abc8)
libHShashable-1.1.2.5-ghc7.4.2.so()(64bit)
ghc(directory-1.1.0.2-c30059d750d04b32316f9eeced589f8a)
rtld(GNU_HASH)
libHSunix-2.5.1.1-ghc7.4.2.so()(64bit)
libHSbinary-0.5.1.0-ghc7.4.2.so()(64bit)
ghc(containers-0.4.2.1-75f143aa39a3e77a1ce2300025bdd8ce)
ghc(text-0.11.2.3-db61832d0c4660614c4ceff234ed4abb)
libHSdeepseq-1.3.0.0-ghc7.4.2.so()(64bit)
libHSrandom-1.0.1.1-ghc7.4.2.so()(64bit)
libHShaskeline-0.7.0.3-ghc7.4.2.so()(64bit)
libHSunordered-containers-0.2.2.1-ghc7.4.2.so()(64bit)
libHSold-time-1.1.0.0-ghc7.4.2.so()(64bit)
libHShaskell-src-exts-1.13.5-ghc7.4.2.so()(64bit)
libHSfilepath-1.3.0.0-ghc7.4.2.so()(64bit)
ghc(binary-0.5.1.0-1dd25e339bc04e2d8ca8103c35947bf6)
ghc(filepath-1.3.0.0-f998e5510c76a98913f57b14b4f16c57)
ghc(haskeline-0.7.0.3-d7f3ccf9e91c534c80a7d7d408a958c4)
libgmp.so.10()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libHSdirectory-1.1.0.2-ghc7.4.2.so()(64bit)
libutil.so.1()(64bit)
libHStext-0.11.2.3-ghc7.4.2.so()(64bit)
libHSxhtml-3000.2.1-ghc7.4.2.so()(64bit)
ghc(old-time-1.1.0.0-703543375fafbcbe67bc51a758e84f10)
ghc(unordered-containers-0.2.2.1-d70d5ccb1df11dbbbaac89571b1ee46d)
ghc(geniplate-0.6.0.3-7f78a7827e34bfde05e15e0f0df527ca)
libHSQuickCheck-2.5.1.1-ghc7.4.2.so()(64bit)
libHSzlib-0.5.4.0-ghc7.4.2.so()(64bit)
ghc(deepseq-1.3.0.0-c26e15897417ecd448742528253d68f6)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
libHSghc-prim-0.2.0.0-ghc7.4.2.so()(64bit)
ghc(mtl-2.1.2-02e701f9b1590ee88a0b5b0bd5d93a29)
ghc(QuickCheck-2.5.1.1-5ea1ce76cfa8030a7fd686ae3ca851c3)
libncursesw.so.5()(64bit)
ghc(xhtml-3000.2.1-290aa859a8b955ebda95b5ca3b1b69f3)
ghc(base-4.5.1.0-6e4c9bdc36eeb9121f27ccbbcb62e3f3)
libc.so.6()(64bit)
libHStransformers-0.3.0.0-ghc7.4.2.so()(64bit)
ghc(hashtables-1.0.1.8-83bb853aa7f012eaa447f17f929e2fad)
libHSold-locale-1.0.0.4-ghc7.4.2.so()(64bit)
librt.so.1()(64bit)
libHSprimitive-0.5.0.1-ghc7.4.2.so()(64bit)
libHStime-1.4-ghc7.4.2.so()(64bit)
ghc(process-1.1.0.1-608c248c1528f46eb960a08cead77291)
libHSgeniplate-0.6.0.3-ghc7.4.2.so()(64bit)
libHSprocess-1.1.0.1-ghc7.4.2.so()(64bit)
libHSvector-0.10.0.1-ghc7.4.2.so()(64bit)
libHSbase-4.5.1.0-ghc7.4.2.so()(64bit)
ghc(bytestring-0.9.2.1-503e91bb155301fdb1956cb5c26ce6e9)
libHSbytestring-0.9.2.1-ghc7.4.2.so()(64bit)
rpmlib(PayloadIsXz) <= 5.2-1
libHShashtables-1.0.1.8-ghc7.4.2.so()(64bit)
libHSmtl-2.1.2-ghc7.4.2.so()(64bit)
libdl.so.2()(64bit)
ghc(parallel-3.2.0.3-4cdd6067624f867b253b98d6d9fb9f52)
libHScpphs-1.14-ghc7.4.2.so()(64bit)
ghc(array-0.4.0.0-0b6c5ca7e879a14d110ca4c001dd9297)
libHStemplate-haskell-2.7.0.0-ghc7.4.2.so()(64bit)
libHScontainers-0.4.2.1-ghc7.4.2.so()(64bit)
libHSpretty-1.1.1.0-ghc7.4.2.so()(64bit)
libtinfo.so.5()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libpthread.so.0()(64bit)
libHSinteger-gmp-0.4.0.0-ghc7.4.2.so()(64bit)
libHSparallel-3.2.0.3-ghc7.4.2.so()(64bit)
libHSterminfo-0.3.2.5-ghc7.4.2.so()(64bit)
libHSarray-0.4.0.0-ghc7.4.2.so()(64bit)
ghc(hashable-1.1.2.5-14291f3b4e96b5599759ce7daa2bd37c)
libz.so.1()(64bit)
ghc(haskell-src-exts-1.13.5-d9e94c242c5bf1721d44315460689887)

Content of RPM :
/usr/lib64/ghc-7.4.2/Agda-2.3.2.1
/usr/lib64/ghc-7.4.2/Agda-2.3.2.1/libHSAgda-2.3.2.1-ghc7.4.2.so
/usr/share/Agda-2.3.2.1
/usr/share/Agda-2.3.2.1/Agda.css
/usr/share/Agda-2.3.2.1/agda.sty
/usr/share/doc/ghc-Agda-2.3.2.1
/usr/share/doc/ghc-Agda-2.3.2.1/LICENSE