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

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

Requires :

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