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

Provides :
ghc-idris
ghc-idris(x86-64)
libHSidris-1.0-KJzGdL2qSSv8c8wYzZcc6I-ghc8.0.2.so()(64bit)

Requires :

libHSStateVar-1.1.0.4-5dJbnTVECtEAhfJXPZKdbO-ghc8.0.2.so()(64bit)
libHSadjunctions-4.3-46ydj5BuLqYGu9agAJnZrb-ghc8.0.2.so()(64bit)
libHSaeson-1.1.2.0-7Re5aZ6MrFBBjqn2gRS4FJ-ghc8.0.2.so()(64bit)
libHSannotated-wl-pprint-0.7.0-3FrdG13wTO5J8qYXtEBG3s-ghc8.0.2.so()(64bit)
libHSansi-terminal-0.6.3.1-3RTqikoQf47ajVD9m8zgB-ghc8.0.2.so()(64bit)
libHSansi-wl-pprint-0.6.7.3-A79v826bgPr574HtaZPPqC-ghc8.0.2.so()(64bit)
libHSarray-0.5.1.1-ghc8.0.2.so()(64bit)
libHSasync-2.1.1.1-8yywY4inVGRLJSCg60gBXj-ghc8.0.2.so()(64bit)
libHSattoparsec-0.13.1.0-4HUSxQCW1VcLtJMhDSV94p-ghc8.0.2.so()(64bit)
libHSbase-4.9.1.0-ghc8.0.2.so()(64bit)
libHSbase-compat-0.9.3-KeJp8zYMpcS9WibvTcxU22-ghc8.0.2.so()(64bit)
libHSbase-orphans-0.6-AbJ3lKVXygDCG0eeQEv8Iu-ghc8.0.2.so()(64bit)
libHSbase64-bytestring-1.0.0.1-4O9TExPPz6eI82Yj7L4SIj-ghc8.0.2.so()(64bit)
libHSbifunctors-5.4.2-KcF2f75KyQm5BjgJ8WkHCw-ghc8.0.2.so()(64bit)
libHSbinary-0.8.3.0-ghc8.0.2.so()(64bit)
libHSblaze-builder-0.4.0.2-FRwZEt0uqtxKWrLYdFtkGs-ghc8.0.2.so()(64bit)
libHSblaze-html-0.9.0.1-8gHPDDowCZd3rzAvjV6sXD-ghc8.0.2.so()(64bit)
libHSblaze-markup-0.8.0.0-6VnuwJX8UfEE1GiuRDYj3H-ghc8.0.2.so()(64bit)
libHSbytestring-0.10.8.1-ghc8.0.2.so()(64bit)
libHScall-stack-0.1.0-FYVrCPXGP9EGAuTW32963O-ghc8.0.2.so()(64bit)
libHScharset-0.3.7.1-BVXX9paiwTxLyFppGuSAOL-ghc8.0.2.so()(64bit)
libHScheapskate-0.1.0.5-o2lDkGit8R3J7GDlrP6PS-ghc8.0.2.so()(64bit)
libHScode-page-0.1.3-Fxfj8KlZt5M4CQMDwRDd5i-ghc8.0.2.so()(64bit)
libHScomonad-5.0.2-Fq9Xy9jdx6uIyJZn00E6Yc-ghc8.0.2.so()(64bit)
libHScontainers-0.5.7.1-ghc8.0.2.so()(64bit)
libHScontravariant-1.4-29zF0Im431177ovfbHYCGv-ghc8.0.2.so()(64bit)
libHScss-text-0.1.2.2-7FLntrg1z3sDOiC9UU5NCp-ghc8.0.2.so()(64bit)
libHSdata-default-0.7.1.1-Atv1ZD6t1rI1MrH9qSGaQC-ghc8.0.2.so()(64bit)
libHSdata-default-class-0.1.2.0-GsXqKN6o1X9jr0fF5qCVD-ghc8.0.2.so()(64bit)
libHSdata-default-instances-containers-0.0.1-bob6IQGdJq92c061H46zK-ghc8.0.2.so()(64bit)
libHSdata-default-instances-dlist-0.0.1-LBT1sjxIvyd63eC0aI9yNO-ghc8.0.2.so()(64bit)
libHSdata-default-instances-old-locale-0.0.1-9zaGDEmgOixKkmLylWdN5l-ghc8.0.2.so()(64bit)
libHSdeepseq-1.4.2.0-ghc8.0.2.so()(64bit)
libHSdigest-0.0.1.2-KWFUxJ28iDeFa48SRovKn6-ghc8.0.2.so()(64bit)
libHSdirectory-1.3.0.0-ghc8.0.2.so()(64bit)
libHSdistributive-0.5.3-IX4kyVcHAyoH4uFYrsjY1R-ghc8.0.2.so()(64bit)
libHSdlist-0.8.0.3-BHFBNaw8k6n9WiaUNzoXpk-ghc8.0.2.so()(64bit)
libHSexceptions-0.8.3-ADEDRATtUrMK1JW4zMQ9U-ghc8.0.2.so()(64bit)
libHSfilepath-1.4.1.1-ghc8.0.2.so()(64bit)
libHSfingertree-0.1.3.1-EBUGcc9R05eGdARGf8l7Ab-ghc8.0.2.so()(64bit)
libHSfree-4.12.4-6BdTDvOwMt99y1Q5P0yPIv-ghc8.0.2.so()(64bit)
libHSfsnotify-0.2.1.1-Cc2fEaYOofxGDzw2E2RbFX-ghc8.0.2.so()(64bit)
libHSghc-boot-th-8.0.2-ghc8.0.2.so()(64bit)
libHSghc-prim-0.5.0.0-ghc8.0.2.so()(64bit)
libHShashable-1.2.6.1-ArdkmQrtdsLPQA60ZQw2E-ghc8.0.2.so()(64bit)
libHShaskeline-0.7.3.0-ghc8.0.2.so()(64bit)
libHShinotify-0.3.9-14GQ49KC3v76A8oF0cY0BA-ghc8.0.2.so()(64bit)
libHSieee754-0.8.0-CDXZC1OkvI520r7z7XGrZG-ghc8.0.2.so()(64bit)
libHSinteger-gmp-1.0.0.1-ghc8.0.2.so()(64bit)
libHSinteger-logarithms-1.0.2-92lMiWV9mmYAwfMEYgfQ0D-ghc8.0.2.so()(64bit)
libHSkan-extensions-5.0.2-8qPK49z1SSHCR6fQFy5SHg-ghc8.0.2.so()(64bit)
libHSlens-4.15.4-B7rtcIOUCc5Dj1pX7LHRGR-ghc8.0.2.so()(64bit)
libHSlibffi-0.1-1byXGcdzpX5Bu9vSOoYA5k-ghc8.0.2.so()(64bit)
libHSmtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6-ghc8.0.2.so()(64bit)
libHSnetwork-2.6.3.2-IsLM4TXcLoRI0fmmBYVyQz-ghc8.0.2.so()(64bit)
libHSnetwork-uri-2.6.1.0-Fj1qKIThD9W270EtbkvRHL-ghc8.0.2.so()(64bit)
libHSold-locale-1.0.0.7-KGBP1BSKxH5GCm0LnZP04j-ghc8.0.2.so()(64bit)
libHSold-time-1.1.0.3-KWRsMSdY26c2L27Y9n9cyq-ghc8.0.2.so()(64bit)
libHSoptparse-applicative-0.13.2.0-EqIYOWOFTvf23sT5QTYn9U-ghc8.0.2.so()(64bit)
libHSparallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhx-ghc8.0.2.so()(64bit)
libHSparsec-3.1.11-4MSigapSiUw1ERNBXZn0E5-ghc8.0.2.so()(64bit)
libHSparsers-0.12.8-MHnZsEQyJNLY6pey1LlDf-ghc8.0.2.so()(64bit)
libHSprelude-extras-0.4.0.3-BhL9U5k7NtGJn1itwIHt2Y-ghc8.0.2.so()(64bit)
libHSpretty-1.1.3.3-ghc8.0.2.so()(64bit)
libHSprimitive-0.6.2.0-4578caNkWQ54Gt1mxLF2Yh-ghc8.0.2.so()(64bit)
libHSprocess-1.4.3.0-ghc8.0.2.so()(64bit)
libHSprofunctors-5.2.1-Ga89Nyw0d7LBEIoX4AZ6gT-ghc8.0.2.so()(64bit)
libHSrandom-1.1-9tceXaeYIMZ4JrKq20Egog-ghc8.0.2.so()(64bit)
libHSreducers-3.12.2-dGreyHZsDBAB5O8yMxsTR-ghc8.0.2.so()(64bit)
libHSreflection-2.1.2-Bem12O1xFGSHr4C2Hyu1c4-ghc8.0.2.so()(64bit)
libHSregex-base-0.93.2-AYjYAsBidAc8f5XNm9b2Aa-ghc8.0.2.so()(64bit)
libHSregex-tdfa-1.2.2-23GMzMAI5atGFIaekspgd4-ghc8.0.2.so()(64bit)
libHSsafe-0.3.15-2Yd45VWFfdcKqKyispOifY-ghc8.0.2.so()(64bit)
libHSscientific-0.3.5.2-9AqV1O3E9md3bGNfgHRUQd-ghc8.0.2.so()(64bit)
libHSsemigroupoids-5.2.1-9yOMRuGyLDADO95KHmfBBa-ghc8.0.2.so()(64bit)
libHSsemigroups-0.18.3-5xL9BgkWQsCGwo6YahyMCM-ghc8.0.2.so()(64bit)
libHSsplit-0.2.3.2-CJl40zTyCIV16Pr60nb7CT-ghc8.0.2.so()(64bit)
libHSstm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve-ghc8.0.2.so()(64bit)
libHSsyb-0.7-4OKdCpwGutyB1rNRmoa0ya-ghc8.0.2.so()(64bit)
libHStagged-0.8.5-1mTloBSoUxv8dqUr8XBGBt-ghc8.0.2.so()(64bit)
libHStagsoup-0.14.2-QMeQmI7tA41DEj7u6jggU-ghc8.0.2.so()(64bit)
libHStemplate-haskell-2.11.1.0-ghc8.0.2.so()(64bit)
libHSterminal-size-0.3.2.1-LL700oIgYTEEtJWQuzY2Y4-ghc8.0.2.so()(64bit)
libHSterminfo-0.4.0.2-ghc8.0.2.so()(64bit)
libHStext-1.2.2.2-1cn50juu89QSL9QkUVcRY-ghc8.0.2.so()(64bit)
libHSth-abstraction-0.2.6.0-HRFJgpoqs5HJ5LgHnjmMhQ-ghc8.0.2.so()(64bit)
libHStime-1.6.0.1-ghc8.0.2.so()(64bit)
libHStime-locale-compat-0.1.1.3-3NWht2bntyvDGDNXWNkT1S-ghc8.0.2.so()(64bit)
libHStransformers-0.5.2.0-ghc8.0.2.so()(64bit)
libHStransformers-compat-0.5.1.4-IuFogs8HAVUJBWVNMhtssu-ghc8.0.2.so()(64bit)
libHStrifecta-1.6.2.1-GEM5OrOr3bUCdkXf1D0uR6-ghc8.0.2.so()(64bit)
libHSuniplate-1.6.12-HpvQyhZtrpZAKrQVHGNCKa-ghc8.0.2.so()(64bit)
libHSunix-2.7.2.1-ghc8.0.2.so()(64bit)
libHSunix-compat-0.4.3.1-Ausmw6d7KIwA7sl52mzqxC-ghc8.0.2.so()(64bit)
libHSunordered-containers-0.2.8.0-EsriWmISHwMG6fvrGnOReO-ghc8.0.2.so()(64bit)
libHSutf8-string-1.0.1.1-1DpjxLeTvGg7ttZZojxJR5-ghc8.0.2.so()(64bit)
libHSuuid-types-1.0.3-9FjiI2er8LGH2tkXMoxuaV-ghc8.0.2.so()(64bit)
libHSvector-0.12.0.1-692PQMDMB6pIQ1uGwefDcQ-ghc8.0.2.so()(64bit)
libHSvector-binary-instances-0.2.3.5-Do2uVjLEGQcAMYmorIf1G3-ghc8.0.2.so()(64bit)
libHSvoid-0.7.2-4PWwLjXxAER9U3zGpDhf6e-ghc8.0.2.so()(64bit)
libHSxss-sanitize-0.3.5.7-IfBxMvZRd5SC7crnmXiIHt-ghc8.0.2.so()(64bit)
libHSzip-archive-0.3.1.1-Hp9Apr22hRmHGHjfg7jJ6n-ghc8.0.2.so()(64bit)
libHSzlib-0.6.1.2-7negTfm2ujt1gW4wr40MUp-ghc8.0.2.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libdl.so.2()(64bit)
libffi.so.7()(64bit)
libgmp.so.10()(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.0.2/idris-1.0-KJzGdL2qSSv8c8wYzZcc6I
/usr/lib64/ghc-8.0.2/idris-1.0-KJzGdL2qSSv8c8wYzZcc6I/libHSidris-1.0-KJzGdL2qSSv8c8wYzZcc6I-ghc8.0.2.so
/usr/share/doc/packages/ghc-idris
/usr/share/doc/packages/ghc-idris/LICENSE