Download ftp.icm.edu.pl   ghc-Agda-2.6.0.1-21.fc32.x86_64.rpm

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

Requires :

Agda-common = 2.6.0.1-21.fc32
libHSEdisonCore-1.3.2.1-Koj2CehFzkm2h8LKOzqY9d-ghc8.6.5.so()(64bit)
libHSSTMonadTrans-0.4.4-CoYRRAEPSFRprZceVDIN-ghc8.6.5.so()(64bit)
libHSaeson-1.4.6.0-GW12281wWczJyRiEaI3P58-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.2-J20JWCD2FKk8MCNGBN7MhE-ghc8.6.5.so()(64bit)
libHSblaze-markup-0.8.2.3-ATcS0IRQcDMCxhB8vW9N1d-ghc8.6.5.so()(64bit)
libHSboxes-0.1.5-JKjOWmg0Zl3JALeXRfRORK-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.5-DFxIZWbh6gX3Nk5thuxQVq-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.4-7i69yYTinPEKMzNEJzEv-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.2.0-LHnNi9N4lmbFWCwIyvTSKY-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-LJPiTANtRUZDfqGhiiMVAd-ghc8.6.5.so()(64bit)
libHSvector-0.12.1.2-FUpUeiQkfYKL48Uq1yWMoF-ghc8.6.5.so()(64bit)
libHSzlib-0.6.2.1-EiCuzWuUbh1FOATBAoeQ3G-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/40
/usr/lib/.build-id/40/cdc7fc4d9e58ab883624d5ae49570900696da1
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/72cd7b48448194606a5af027f1889e23a53d52
/usr/lib64/libHSAgda-2.6.0.1-2ypmre53rewEs8gTs78qXP-ghc8.6.5.so