Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

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

Requires :

libHSEdisonAPI-1.3.1-95fDYXS0D7a74bXECwc4er-ghc8.4.4.so()(64bit)
libHSEdisonCore-1.3.2.1-3Fh9ifDBKvJ5NSK8aTimt9-ghc8.4.4.so()(64bit)
libHSQuickCheck-2.11.3-3XHQpBYb83U2mMvNz2AjQX-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)
libHSbase-compat-0.10.5-8U5tCCKOxZj7p3tFKKRJiG-ghc8.4.4.so()(64bit)
libHSbinary-0.8.5.1-ghc8.4.4.so()(64bit)
libHSblaze-builder-0.4.1.0-Fg2MopjzK6R9nXOkgQYDHB-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-DTCcqCtGfvm4TDv9VHM0at-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-boot-th-8.4.4-ghc8.4.4.so()(64bit)
libHSghc-prim-0.5.2.0-ghc8.4.4.so()(64bit)
libHSgitrev-1.3.1-HqQTjRxPEV41HtnUwDgieF-ghc8.4.4.so()(64bit)
libHShashable-1.2.7.0-3xR4vjMEYHR2eJ7DAZRhaE-ghc8.4.4.so()(64bit)
libHShashtables-1.2.3.1-59Fu07iR0p1GMpmmAtkyWc-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)
libHSmurmur-hash-0.1.0.9-Ce2PF3vuSih2JvgNjQCn0O-ghc8.4.4.so()(64bit)
libHSnetwork-uri-2.6.1.0-AstEwZoXrlUJQq4VkxaVo9-ghc8.4.4.so()(64bit)
libHSparsec-3.1.13.0-ghc8.4.4.so()(64bit)
libHSpretty-1.1.3.6-ghc8.4.4.so()(64bit)
libHSprimitive-0.6.3.0-DaZpcxwJp2TGn8ITSgfI4C-ghc8.4.4.so()(64bit)
libHSprocess-1.6.3.0-ghc8.4.4.so()(64bit)
libHSrandom-1.1-9LLJAJa4iQFLJiLXBOBXBV-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)
libHSsplit-0.2.3.3-3fFb67BrTpqAjKImK4FBjR-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)
libHSterminfo-0.4.1.1-ghc8.4.4.so()(64bit)
libHStext-1.2.3.1-ghc8.4.4.so()(64bit)
libHStf-random-0.5-BZa4jMFCdGCK8yjkzN18lQ-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)
libHStransformers-compat-0.6.2-EZ0ZvADLUlc4V8RuKaJX5W-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)
libHSutf8-string-1.0.1.1-LRSjvSC6FZkKPp48Qszoj8-ghc8.4.4.so()(64bit)
libHSvector-0.12.0.2-4IpdnxtqTfNJ9xEZNSAM2c-ghc8.4.4.so()(64bit)
libHSzlib-0.6.2-FP80mWgJNoyCiVcPtw6kKj-ghc8.4.4.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libdl.so.2()(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(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

Content of RPM :
/usr/lib64/ghc-8.4.4/Agda-2.5.4.2-2c6CDM799OV3g7aBgUrNDD
/usr/lib64/ghc-8.4.4/Agda-2.5.4.2-2c6CDM799OV3g7aBgUrNDD/libHSAgda-2.5.4.2-2c6CDM799OV3g7aBgUrNDD-ghc8.4.4.so
/usr/share/licenses/ghc-Agda
/usr/share/licenses/ghc-Agda/LICENSE