Download ftp.icm.edu.pl   ghc-Agda-2.5.4.2-17.fc30.x86_64.rpm ftp.icm.edu.pl   ghc-Agda-2.5.4.2-17.fc30.x86_64.rpm

Provides :
ghc-Agda
ghc-Agda(x86-64)
libHSAgda-2.5.4.2-InGDsWAF3F84S162rsCB4Y-ghc8.4.4.so()(64bit)

Requires :

Agda-common = 2.5.4.2-17.fc30
libHSEdisonCore-1.3.2.1-FzcjTQ6J4Tn9kq8OF1wE18-ghc8.4.4.so()(64bit)
libHSSTMonadTrans-0.4.3-BLPQeQVytvDAmw0w5bw9b9-ghc8.4.4.so()(64bit)
libHSarray-0.5.2.0-ghc8.4.4.so()(64bit)
libHSasync-2.2.1-Bdgq0Bblhz1F5RxDJqqwi6-ghc8.4.4.so()(64bit)
libHSbase-4.11.1.0-ghc8.4.4.so()(64bit)
libHSbinary-0.8.5.1-ghc8.4.4.so()(64bit)
libHSblaze-html-0.9.1.1-CmiEotcLUcg4g79Q9JAw9e-ghc8.4.4.so()(64bit)
libHSblaze-markup-0.8.2.2-qawq6c4zOZD1LHagCzpxm-ghc8.4.4.so()(64bit)
libHSboxes-0.1.5-3WsLjIJep3y7twGn1C08RF-ghc8.4.4.so()(64bit)
libHSbytestring-0.10.8.2-ghc8.4.4.so()(64bit)
libHScontainers-0.5.11.0-ghc8.4.4.so()(64bit)
libHSdata-hash-0.2.0.1-D2pljNnFjuv5cOCQdMozWU-ghc8.4.4.so()(64bit)
libHSdeepseq-1.4.3.0-ghc8.4.4.so()(64bit)
libHSdirectory-1.3.1.5-ghc8.4.4.so()(64bit)
libHSedit-distance-0.2.2.1-B7XvzAt3DQ5DrMTYu2eW2w-ghc8.4.4.so()(64bit)
libHSequivalence-0.3.3-FFaksTgZV9s3xSQvxT3Gyb-ghc8.4.4.so()(64bit)
libHSfilepath-1.4.2-ghc8.4.4.so()(64bit)
libHSgeniplate-mirror-0.7.6-BOyiF6L7w2F4l39KglniJW-ghc8.4.4.so()(64bit)
libHSghc-prim-0.5.2.0-ghc8.4.4.so()(64bit)
libHShashable-1.2.7.0-3xR4vjMEYHR2eJ7DAZRhaE-ghc8.4.4.so()(64bit)
libHShashtables-1.2.3.1-Gp5z1QhkcpFBnyLVjU0opJ-ghc8.4.4.so()(64bit)
libHShaskeline-0.7.4.2-ghc8.4.4.so()(64bit)
libHSieee754-0.8.0-KmEF4YGiqmIDu40b1SLx46-ghc8.4.4.so()(64bit)
libHSinteger-gmp-1.0.2.0-ghc8.4.4.so()(64bit)
libHSmtl-2.2.2-ghc8.4.4.so()(64bit)
libHSnetwork-uri-2.6.1.0-AstEwZoXrlUJQq4VkxaVo9-ghc8.4.4.so()(64bit)
libHSpretty-1.1.3.6-ghc8.4.4.so()(64bit)
libHSprocess-1.6.3.0-ghc8.4.4.so()(64bit)
libHSregex-base-0.93.2-98bD2PeVUkV8MO804tnXmq-ghc8.4.4.so()(64bit)
libHSregex-tdfa-1.2.3.1-9PkkapJrmiKFVG38JA02jN-ghc8.4.4.so()(64bit)
libHSstm-2.4.5.1-ghc8.4.4.so()(64bit)
libHSstrict-0.3.2-FUXfVuv1I9pDkeq770AklR-ghc8.4.4.so()(64bit)
libHStemplate-haskell-2.13.0.0-ghc8.4.4.so()(64bit)
libHStext-1.2.3.1-ghc8.4.4.so()(64bit)
libHStime-1.8.0.2-ghc8.4.4.so()(64bit)
libHStransformers-0.5.5.0-ghc8.4.4.so()(64bit)
libHSunix-2.7.2.2-ghc8.4.4.so()(64bit)
libHSunordered-containers-0.2.9.0-D29DBTdibk7GcEJszMbIZV-ghc8.4.4.so()(64bit)
libHSuri-encode-1.5.0.5-2g8gRrKEBFYGvTGwlHH4GM-ghc8.4.4.so()(64bit)
libHSzlib-0.6.2-FP80mWgJNoyCiVcPtw6kKj-ghc8.4.4.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.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.2.5)(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(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)

Content of RPM :
/usr/bin/agda
/usr/lib/.build-id
/usr/lib/.build-id/16
/usr/lib/.build-id/16/1eb411a64e23e9f2c1d9b0e05452b82a54c20e
/usr/lib/.build-id/35
/usr/lib/.build-id/35/d82cb4e06f79bbd412a24c869036b3a8c3f812
/usr/lib64/libHSAgda-2.5.4.2-InGDsWAF3F84S162rsCB4Y-ghc8.4.4.so