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

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

Requires :

libHSStateVar-1.1.0.4-5dJbnTVECtEAhfJXPZKdbO-ghc8.0.2.so()(64bit)
libHSadjunctions-4.3-4NsFv08p09OH79kZsQDVh1-ghc8.0.2.so()(64bit)
libHSaeson-1.0.2.1-DHWdMBRulcP78wDckzP3tp-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-E7IpSM8d2Zn60lDoEtgp6t-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.5.4-ABoxiBf7nXc7Qqh66CgYc9-ghc8.0.2.so()(64bit)
libHSbase64-bytestring-1.0.0.1-4O9TExPPz6eI82Yj7L4SIj-ghc8.0.2.so()(64bit)
libHSbifunctors-5.4.2-wt6HPG9UFgCjbd0zbVYNT-ghc8.0.2.so()(64bit)
libHSbinary-0.8.3.0-ghc8.0.2.so()(64bit)
libHSblaze-builder-0.4.0.2-Chs7nQ4Qyy3Dg6EW0im6Kk-ghc8.0.2.so()(64bit)
libHSblaze-html-0.8.1.3-4GC9ZrWsvleFkiwXhsHB3o-ghc8.0.2.so()(64bit)
libHSblaze-markup-0.7.1.1-BiS8Ue09EMkGrAxkHLxlgn-ghc8.0.2.so()(64bit)
libHSbytestring-0.10.8.1-ghc8.0.2.so()(64bit)
libHScharset-0.3.7.1-85Ytwk0fw3jFyA25wQ9Z32-ghc8.0.2.so()(64bit)
libHScheapskate-0.1.0.5-IgiosXEdv2S1R5b9Ux1IDd-ghc8.0.2.so()(64bit)
libHScode-page-0.1.3-Fxfj8KlZt5M4CQMDwRDd5i-ghc8.0.2.so()(64bit)
libHScomonad-5.0.1-7j4AeOMTFovFSFO9XMFm1-ghc8.0.2.so()(64bit)
libHScontainers-0.5.7.1-ghc8.0.2.so()(64bit)
libHScontravariant-1.4-3UCY3arLvoG71jrGOYoc39-ghc8.0.2.so()(64bit)
libHScss-text-0.1.2.2-9pmu9AesZtz4awXMYIVx9x-ghc8.0.2.so()(64bit)
libHSdata-default-0.7.1.1-7EGYJX2YWqWJRbPFUHNoCr-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-FKnZBeovJMk4M89wQxDhjl-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.2-JCgfTXNR3ywAyV7fFWIBI5-ghc8.0.2.so()(64bit)
libHSdlist-0.8.0.2-6Wnps4GD7EFnRucVzXIFD-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.1.0-Aiaf912zjZGHvH3XyjxrYA-ghc8.0.2.so()(64bit)
libHSfree-4.12.4-GP8SJAzGfyq6UeKHSkzaha-ghc8.0.2.so()(64bit)
libHSfsnotify-0.2.1-5bP6susrqME5Ar2GETY7k1-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-1kESIAoxKUjIcRePT58baP-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.1-IEHCuEd5sG4JjSjlx7m5JF-ghc8.0.2.so()(64bit)
libHSkan-extensions-5.0.2-KVnVF8a8AJ42gswaE26iyg-ghc8.0.2.so()(64bit)
libHSlens-4.15.1-BlvakQXua6zHSa35acgNYp-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-lQGyRyDCjq1Lw3jzxkOQY-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-8RyPB3SGixcIZrsPWwkXoj-ghc8.0.2.so()(64bit)
libHSparsers-0.12.5-BN7Di02NT6d1LfSGBnWlxH-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.1.0-6AbSTw9JXz141LE5p6LGH-ghc8.0.2.so()(64bit)
libHSprocess-1.4.3.0-ghc8.0.2.so()(64bit)
libHSprofunctors-5.2-85ZLvwISeusLRZoJlitoyP-ghc8.0.2.so()(64bit)
libHSreducers-3.12.1-L5NETma7oRAAclp2fsxDtf-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-1W5bg2kZONV5Ry0XO3pbBX-ghc8.0.2.so()(64bit)
libHSsafe-0.3.15-2Yd45VWFfdcKqKyispOifY-ghc8.0.2.so()(64bit)
libHSscientific-0.3.5.1-1A3QMw76WXzHmMGgxJkkIF-ghc8.0.2.so()(64bit)
libHSsemigroupoids-5.1-G6hp8hbTJmG326ffvAeaw8-ghc8.0.2.so()(64bit)
libHSsemigroups-0.18.2-GvTCUro9Hym1wGKOLNRfUA-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.6-IcoSwlPi2Nx4zSqMmorFPS-ghc8.0.2.so()(64bit)
libHStagged-0.8.5-1mTloBSoUxv8dqUr8XBGBt-ghc8.0.2.so()(64bit)
libHStagsoup-0.14.1-5sfKh2kpJglJakpmOOJniP-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.1-FwvWBfkNJh1I1NMMegz0uY-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-3kOnXAbUkma8nZ9iK1RrR8-ghc8.0.2.so()(64bit)
libHSuniplate-1.6.12-JlIVN7wBjHMAqPsooftbt2-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-7sRzHY7nA2MDTBp8Ugtj2E-ghc8.0.2.so()(64bit)
libHSutf8-string-1.0.1.1-1DpjxLeTvGg7ttZZojxJR5-ghc8.0.2.so()(64bit)
libHSvector-0.11.0.0-LMwQhhnXj8U3T5Bm1JFxG-ghc8.0.2.so()(64bit)
libHSvector-binary-instances-0.2.3.5-ErC0Eu5lcNV6B9k8db5rP4-ghc8.0.2.so()(64bit)
libHSvoid-0.7.2-4PWwLjXxAER9U3zGpDhf6e-ghc8.0.2.so()(64bit)
libHSxss-sanitize-0.3.5.7-D2ywC2ddkUiJ5aAe3lmHJ6-ghc8.0.2.so()(64bit)
libHSzip-archive-0.3.1.1-HeypvJ6gwYjEfBFKZOiecF-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-IyGfA0x2i4HKOiLV54Dnqr
/usr/lib64/ghc-8.0.2/idris-1.0-IyGfA0x2i4HKOiLV54Dnqr/libHSidris-1.0-IyGfA0x2i4HKOiLV54Dnqr-ghc8.0.2.so
/usr/share/doc/packages/ghc-idris
/usr/share/doc/packages/ghc-idris/LICENSE