Download ftp.icm.edu.pl   ghc-Agda-2.3.2.1-5.fc20.i686.rpm

Search for other platforms ghc-Agda-2.3.2.1-5.fc20.sparc.rpm ghc-Agda-2.3.2.1-5.fc20.alpha.rpm ghc-Agda-2.3.2.1-5.fc20.ppc.rpm ghc-Agda-2.3.2.1-5.fc20.ia64.rpm ghc-Agda-2.3.2.1-5.fc20.s390.rpm

Provides :
ghc-Agda
ghc-Agda(x86-32)
ghc(Agda-2.3.2.1-134a1c13b64264fb4ac3fb087f6265d7)
libHSAgda-2.3.2.1-ghc7.6.3.so

Requires :

ghc(haskell-src-exts-1.13.5-0f3f2319acda970505744b02eb3b1d03)
ghc(bytestring-0.10.0.2-0b6617b9eb506e75e23ac8e02aca9a35)
libpthread.so.0
libHSfilepath-1.3.0.1-ghc7.6.3.so
ghc(deepseq-1.3.0.1-aa1be128186a233c7290faf88620ffe5)
libutil.so.1
libHSprocess-1.1.0.2-ghc7.6.3.so
libdl.so.2
rtld(GNU_HASH)
ghc(process-1.1.0.2-a830d25f0e9fb9c610aa641b7f5b20f9)
libHSbinary-0.5.1.1-ghc7.6.3.so
libHSpretty-1.1.1.0-ghc7.6.3.so
ghc(binary-0.5.1.1-5b8f9bc100b7fcc9007862bc7991fc81)
librt.so.1
libHSrandom-1.0.1.1-ghc7.6.3.so
libHSterminfo-0.3.2.5-ghc7.6.3.so
libHScpphs-1.16-ghc7.6.3.so
libHStransformers-0.3.0.0-ghc7.6.3.so
libz.so.1
libc.so.6(GLIBC_2.1.3)
libHSxhtml-3000.2.1-ghc7.6.3.so
libHSinteger-gmp-0.5.0.0-ghc7.6.3.so
ghc(hashtables-1.0.1.8-ea7e4d9be4ffb2917a684e7297a606bb)
libHSbytestring-0.10.0.2-ghc7.6.3.so
libHShashtables-1.0.1.8-ghc7.6.3.so
libHStemplate-haskell-2.8.0.0-ghc7.6.3.so
libHShaskeline-0.7.0.3-ghc7.6.3.so
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
libHSprimitive-0.5.0.1-ghc7.6.3.so
libHSold-locale-1.0.0.5-ghc7.6.3.so
ghc(containers-0.5.0.0-3b8b869ec10d44736414ab5bea776319)
libHScontainers-0.5.0.0-ghc7.6.3.so
libHShaskell-src-exts-1.13.5-ghc7.6.3.so
ghc(array-0.4.0.1-6380782b62ead58fec616aa07dc0e15c)
libc.so.6
ghc(mtl-2.1.2-fe866e917274e9b307cc6413975cc313)
libgmp.so.10
ghc(base-4.6.0.1-ced5f3d8c90960e9f372129163296e44)
libHSbase-4.6.0.1-ghc7.6.3.so
ghc(filepath-1.3.0.1-edbc3d8247914b04f448e9261e7fe895)
ghc(unordered-containers-0.2.3.0-5bf92a1c1b90f6e2e5a5dbbd8a6ab013)
ghc(geniplate-0.6.0.3-bfd737e522f73fbb09b57c4e0e5f2b36)
libtinfo.so.5
libHSparallel-3.2.0.3-ghc7.6.3.so
libHStime-1.4.0.1-ghc7.6.3.so
ghc(QuickCheck-2.6-5571712ebb9990d84d42ae8f6e9f4247)
ghc(xhtml-3000.2.1-aedd6a0629c5f519b3358e88145e03c0)
ghc(haskeline-0.7.0.3-775b029f16a4b58f3cc6b4cb4f7e7ac5)
ghc(zlib-0.5.4.1-f8b2bb965704e7ec5caa162d83990faa)
ghc(directory-1.2.0.1-0f6696fb1143d7612e79f8dad6bc63a4)
ghc(parallel-3.2.0.3-e820b19f5a9c77af99f9f74ca067f604)
libHSarray-0.4.0.1-ghc7.6.3.so
rpmlib(PayloadIsXz) <= 5.2-1
libncursesw.so.5
libHSQuickCheck-2.6-ghc7.6.3.so
libHSunix-2.6.0.1-ghc7.6.3.so
libc.so.6(GLIBC_2.0)
libHSmtl-2.1.2-ghc7.6.3.so
libHSzlib-0.5.4.1-ghc7.6.3.so
ghc(text-0.11.3.1-f9af5da075b669b8893882d7df69cdb7)
ghc(pretty-1.1.1.0-2de27f83b2c1c65d629a564e9e01b27d)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libHSdeepseq-1.3.0.1-ghc7.6.3.so
ghc(hashable-1.1.2.5-93ac9e8f4902e70447854e208345383a)
libHSvector-0.10.0.1-ghc7.6.3.so
libHSold-time-1.1.0.1-ghc7.6.3.so
ghc(time-1.4.0.1-11ddabfbdd9e1882a9135b100d37881b)
libHSunordered-containers-0.2.3.0-ghc7.6.3.so
libHSdirectory-1.2.0.1-ghc7.6.3.so
libHShashable-1.1.2.5-ghc7.6.3.so
libHSgeniplate-0.6.0.3-ghc7.6.3.so
libHSghc-prim-0.3.0.0-ghc7.6.3.so
libHStext-0.11.3.1-ghc7.6.3.so

Content of RPM :
/usr/lib/ghc-7.6.3/Agda-2.3.2.1
/usr/lib/ghc-7.6.3/Agda-2.3.2.1/libHSAgda-2.3.2.1-ghc7.6.3.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
/usr/share/doc/ghc-Agda/LICENSE