Download ftp.icm.edu.pl   ghc-Agda-2.6.0.1-19.fc31.x86_64.rpm

Provides :
ghc-Agda
ghc-Agda(x86-64)
libHSAgda-2.6.0.1-B0t7sLPZhcP4jvj0wGvNPO-ghc8.6.5.so()(64bit)

Requires :

Agda-common = 2.6.0.1-19.fc31
libHSEdisonCore-1.3.2.1-1TKGWnQfcMJ7JclMuFIALv-ghc8.6.5.so()(64bit)
libHSSTMonadTrans-0.4.4-JaaCWD8z5fC252jvOeKoHP-ghc8.6.5.so()(64bit)
libHSaeson-1.4.2.0-ARmcPxOExzpGnW3RrgDJ7K-ghc8.6.5.so()(64bit)
libHSarray-0.5.3.0-ghc8.6.5.so()(64bit)
libHSasync-2.2.2-izpvdmZWvvDzxTFdUgkXg-ghc8.6.5.so()(64bit)
libHSbase-4.12.0.0-ghc8.6.5.so()(64bit)
libHSbinary-0.8.6.0-ghc8.6.5.so()(64bit)
libHSblaze-html-0.9.1.1-E0enfQtU1ZTDNQ8G8pIpJp-ghc8.6.5.so()(64bit)
libHSblaze-markup-0.8.2.2-IwLwNWRUxfsEuYbkQ0Gv5Q-ghc8.6.5.so()(64bit)
libHSboxes-0.1.5-5FnV6aohIiK7jwrq5ubKD6-ghc8.6.5.so()(64bit)
libHSbytestring-0.10.8.2-ghc8.6.5.so()(64bit)
libHScontainers-0.6.0.1-ghc8.6.5.so()(64bit)
libHSdata-hash-0.2.0.1-JXzdWb8EE5m8GeAXvAXZST-ghc8.6.5.so()(64bit)
libHSdeepseq-1.4.4.0-ghc8.6.5.so()(64bit)
libHSdirectory-1.3.3.0-ghc8.6.5.so()(64bit)
libHSedit-distance-0.2.2.1-4bW3W2hnyAoDkdg1hZrDEh-ghc8.6.5.so()(64bit)
libHSequivalence-0.3.4-HX7gK788rUwD88AnAggIfr-ghc8.6.5.so()(64bit)
libHSfilepath-1.4.2.1-ghc8.6.5.so()(64bit)
libHSgeniplate-mirror-0.7.6-EIfUrB4KSUw39sxaK8HtlF-ghc8.6.5.so()(64bit)
libHSghc-prim-0.5.3-ghc8.6.5.so()(64bit)
libHShashable-1.2.7.0-CWI8VZuQTAYWIQTQQtqCV-ghc8.6.5.so()(64bit)
libHShashtables-1.2.3.3-EJvFpqtfM2b1akmPJBW1Wk-ghc8.6.5.so()(64bit)
libHShaskeline-0.7.4.3-ghc8.6.5.so()(64bit)
libHSieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD-ghc8.6.5.so()(64bit)
libHSinteger-gmp-1.0.2.0-ghc8.6.5.so()(64bit)
libHSmtl-2.2.2-ghc8.6.5.so()(64bit)
libHSnetwork-uri-2.6.1.0-K75fCYvLQE41EntOQ30cqK-ghc8.6.5.so()(64bit)
libHSpretty-1.1.3.6-ghc8.6.5.so()(64bit)
libHSprocess-1.6.5.0-ghc8.6.5.so()(64bit)
libHSregex-base-0.93.2-8QGsCbNNqfw1S2nCPh78l5-ghc8.6.5.so()(64bit)
libHSregex-tdfa-1.2.3.2-24BpKmE04Wg88SsVhgqjyZ-ghc8.6.5.so()(64bit)
libHSscientific-0.3.6.2-Jh87LYpjAZH3EhMJkXeu1S-ghc8.6.5.so()(64bit)
libHSsplit-0.2.3.3-6n1iQ0JLFvkeXvJXsAqQc-ghc8.6.5.so()(64bit)
libHSstm-2.5.0.0-ghc8.6.5.so()(64bit)
libHSstrict-0.3.2-5w6PBW5d25zBwMiv48Xbom-ghc8.6.5.so()(64bit)
libHStemplate-haskell-2.14.0.0-ghc8.6.5.so()(64bit)
libHStext-1.2.3.1-ghc8.6.5.so()(64bit)
libHStime-1.8.0.2-ghc8.6.5.so()(64bit)
libHStransformers-0.5.6.2-ghc8.6.5.so()(64bit)
libHSunix-2.7.2.2-ghc8.6.5.so()(64bit)
libHSunordered-containers-0.2.10.0-KQjsr7xKC1WHxfEOZ1c65w-ghc8.6.5.so()(64bit)
libHSuri-encode-1.5.0.5-3gmVlYEthR87TgQXvrmt2i-ghc8.6.5.so()(64bit)
libHSvector-0.12.0.3-2LEYu9M2i7lERDtz76XG3n-ghc8.6.5.so()(64bit)
libHSzlib-0.6.2-BdOecmQ0rL1HOiGypdSgxY-ghc8.6.5.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.11)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.2)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.6)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libdl.so.2()(64bit)
libdl.so.2(GLIBC_2.2.5)(64bit)
libffi.so.6()(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libm.so.6(GLIBC_2.29)(64bit)
libpthread.so.0()(64bit)
libpthread.so.0(GLIBC_2.12)(64bit)
libpthread.so.0(GLIBC_2.2.5)(64bit)
libpthread.so.0(GLIBC_2.3.2)(64bit)
librt.so.1()(64bit)
librt.so.1(GLIBC_2.3.3)(64bit)
libtinfo.so.6()(64bit)
libz.so.1()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)

Content of RPM :
/usr/bin/agda
/usr/lib/.build-id
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/5d9618b6c6cc1f4e1cdfac2108dae2aaaf6b35
/usr/lib/.build-id/be
/usr/lib/.build-id/be/2ab2a1b02807ee33c275d3da4ddf3a0cf5ce97
/usr/lib64/libHSAgda-2.6.0.1-B0t7sLPZhcP4jvj0wGvNPO-ghc8.6.5.so