Download ftp.icm.edu.pl   ghc-Agda-2.4.2.5-1.fc25.i686.rpm

Search for other platforms ghc-Agda-2.4.2.5-1.fc25.sparc.rpm ghc-Agda-2.4.2.5-1.fc25.alpha.rpm ghc-Agda-2.4.2.5-1.fc25.ppc.rpm ghc-Agda-2.4.2.5-1.fc25.ia64.rpm ghc-Agda-2.4.2.5-1.fc25.s390.rpm

Provides :
ghc-Agda
ghc-Agda(x86-32)
libHSAgda-2.4.2.5-Inys1Zrl83YKq4l2eRqqZo-ghc7.10.3.so

Requires :

/bin/sh
libHSAgda-2.4.2.5-Inys1Zrl83YKq4l2eRqqZo-ghc7.10.3.so
libHSQuickCheck-2.8.2-6TxL5Cx3o2p0HsyT59KWiD-ghc7.10.3.so
libHSSTMonadTrans-0.3.3-JxJa5TwLlNw5ezvOlol7Ai-ghc7.10.3.so
libHSarray-0.5.1.0-67iodizgJQIIxYVTp4emlA-ghc7.10.3.so
libHSbase-4.8.2.0-HQfYBxpPvuw8OunzQu6JGM-ghc7.10.3.so
libHSbinary-0.7.5.0-3uXFWMoAGBg0xKP9MHKRwi-ghc7.10.3.so
libHSboxes-0.1.4-070QZQEe2Kj8LMflb8AbGr-ghc7.10.3.so
libHSbytestring-0.10.6.0-6VWy06pWzJq9evDvK2d4w6-ghc7.10.3.so
libHScontainers-0.5.6.2-2C3ZI8RgPO2LBMidXKTvIU-ghc7.10.3.so
libHScpphs-1.20.1-6gGTLZlFKFj65mZSINKWFa-ghc7.10.3.so
libHSdata-hash-0.2.0.1-9PmqjxuIomT1NGE4L5iyJ5-ghc7.10.3.so
libHSdeepseq-1.4.1.1-6vMKxt5sPFR0XsbRWvvq59-ghc7.10.3.so
libHSdirectory-1.2.2.0-0hFG6ZxK1nk4zsyOqbNHfm-ghc7.10.3.so
libHSedit-distance-0.2.2.1-GrVo5DeFmcqKU6DemAlVYF-ghc7.10.3.so
libHSequivalence-0.3.1-BnphpzdnjI16lL4GW91uXQ-ghc7.10.3.so
libHSfilepath-1.4.0.0-Ey7a1in9roBAE8bUFJ5R9m-ghc7.10.3.so
libHSgeniplate-mirror-0.7.4-6lhOxdw8zKrBJy1tqByNGI-ghc7.10.3.so
libHSghc-prim-0.4.0.0-8TmvWUcS1U1IKHT0levwg3-ghc7.10.3.so
libHShashable-1.2.4.0-EalUWgp8NarBYWPbvYAD8I-ghc7.10.3.so
libHShashtables-1.2.1.0-5Vb6phNxUZg6pFkCi63Q8S-ghc7.10.3.so
libHShaskeline-0.7.2.1-GGvi737nHHfG6zm2y7Rimi-ghc7.10.3.so
libHShaskell-src-exts-1.16.0.1-Ad3mUBGXzJkCGX1Fl2g43a-ghc7.10.3.so
libHSinteger-gmp-1.0.0.0-2aU3IZNMF9a7mQ0OzsZ0dS-ghc7.10.3.so
libHSmtl-2.2.1-Aue4leSeVkpKLsfHIV51E8-ghc7.10.3.so
libHSold-locale-1.0.0.7-7h2Gx6mVPJ5Gheca8j9Mpe-ghc7.10.3.so
libHSold-time-1.1.0.3-JVjJvknZJ0JKghfag2Jw2L-ghc7.10.3.so
libHSparallel-3.2.1.0-BEbrIfHgHtmEpYU5TfKWK9-ghc7.10.3.so
libHSpolyparse-1.12-7PmZEcb8laYLx5DV0ONyXB-ghc7.10.3.so
libHSpretty-1.1.2.0-JItwetRppk1H5Uq3xbjDGC-ghc7.10.3.so
libHSprimitive-0.6.1.0-EphY2c7CCxSCBKjAN0YTR3-ghc7.10.3.so
libHSprocess-1.2.3.0-52AgREEfSrnJLlkGV9YZZJ-ghc7.10.3.so
libHSrandom-1.1-9Kgekc9yEaLHLNUuw6paWL-ghc7.10.3.so
libHSrts-ghc7.10.3.so
libHSsplit-0.2.3.1-8Epnp2rdLEuHOoCzwCo41e-ghc7.10.3.so
libHSstrict-0.3.2-6HUCru1exevKAPYldnu96l-ghc7.10.3.so
libHStemplate-haskell-2.10.0.0-GJPvtLC64aA4c1Jl10o2qt-ghc7.10.3.so
libHSterminfo-0.4.0.1-6iVf4EBnOgfIaaOCLRs8jl-ghc7.10.3.so
libHStext-1.2.2.1-HmqVQnZSpjaC156ABqPhne-ghc7.10.3.so
libHStf-random-0.5-1eLmkn3WUnC8NZpPuDLGKF-ghc7.10.3.so
libHStime-1.5.0.1-FTheb6LSxyX1UABIbBXRfn-ghc7.10.3.so
libHStransformers-0.4.2.0-GZTjP9K5WFq01xC9BAGQpF-ghc7.10.3.so
libHStransformers-compat-0.4.0.4-HLoEtsQxMvo5lni62P8VpB-ghc7.10.3.so
libHSunix-2.7.1.0-KZL8h98IqDM57kQSPo1mKx-ghc7.10.3.so
libHSunordered-containers-0.2.7.1-5iWC5HdL16JGHXLbsgBJnw-ghc7.10.3.so
libHSvector-0.11.0.0-LmZ3LQW4ivu8MsQuVgukln-ghc7.10.3.so
libHSxhtml-3000.2.1-0ACfOp3hebWD9jGWE4v4Gh-ghc7.10.3.so
libHSzlib-0.6.1.1-7LjT7TSHX8U3VTy3t378Vu-ghc7.10.3.so
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libdl.so.2
libffi.so.6
libgmp.so.10
libm.so.6
libpthread.so.0
librt.so.1
libtinfo.so.6
libutil.so.1
libz.so.1
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)

Content of RPM :
/usr/bin/agda
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/libHSAgda-2.4.2.5-Inys1Zrl83YKq4l2eRqqZo-ghc7.10.3.so
/usr/share/Agda-2.4.2.5
/usr/share/Agda-2.4.2.5/Agda.css
/usr/share/Agda-2.4.2.5/agda.sty
/usr/share/Agda-2.4.2.5/lib
/usr/share/Agda-2.4.2.5/lib/prim
/usr/share/Agda-2.4.2.5/lib/prim/Agda
/usr/share/Agda-2.4.2.5/lib/prim/Agda/Primitive.agda
/usr/share/Agda-2.4.2.5/lib/prim/Agda/Primitive.agdai
/usr/share/Agda-2.4.2.5/postprocess-latex.pl
/usr/share/licenses/ghc-Agda
/usr/share/licenses/ghc-Agda/LICENSE