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

Provides :
ghc-idris
ghc-idris(x86-64)
libHSidris-0.12.3-5XwsK7plwmD3IajZfs8w6m-ghc8.0.1.so()(64bit)

Requires :

libHShinotify-0.3.9-JRk6D3ARNhD5PS4xPD2884-ghc8.0.1.so()(64bit)
libHSdigest-0.0.1.2-Jkg2DJlP1uNCnEMQswznXb-ghc8.0.1.so()(64bit)
libHSold-time-1.1.0.3-IcvdkJUsE9M8t3io8peAEp-ghc8.0.1.so()(64bit)
libHSnetwork-2.6.3.1-G4Up1CPKbp7DeFsnywOnGG-ghc8.0.1.so()(64bit)
libHSunix-2.7.2.0-ghc8.0.1.so()(64bit)
libHSfree-4.12.4-KyvXucUlvRwL6NlLlPO3DI-ghc8.0.1.so()(64bit)
libHSpretty-1.1.3.3-ghc8.0.1.so()(64bit)
libHSdirectory-1.2.6.2-ghc8.0.1.so()(64bit)
libHSansi-wl-pprint-0.6.7.3-LVnipygDrAR1FEMFhjxcQX-ghc8.0.1.so()(64bit)
libHSzlib-0.6.1.2-4CWLN1T27kOJhNvXgy46ZV-ghc8.0.1.so()(64bit)
libHSzip-archive-0.3.0.5-CbemXvsU6SOJkcGcsRzKMK-ghc8.0.1.so()(64bit)
libHSdlist-0.8.0.2-GWAMmbX9rLg3tqrbOizHGv-ghc8.0.1.so()(64bit)
libHSannotated-wl-pprint-0.7.0-B6Xo4q6hdW98qIfojQv5XO-ghc8.0.1.so()(64bit)
libHShashable-1.2.4.0-BU6c9a6Q6lID9oy9iugxdV-ghc8.0.1.so()(64bit)
libHSexceptions-0.8.3-7py7fmRxowDFpHmiHGKrTb-ghc8.0.1.so()(64bit)
libHScheapskate-0.1.0.5-Ja3oLqHBvZH187xGqlfCQz-ghc8.0.1.so()(64bit)
libHSprelude-extras-0.4.0.3-FAyB4iuuM7cHXdrLMZtdXq-ghc8.0.1.so()(64bit)
libHStransformers-compat-0.5.1.4-81lZyuOJOvsD0zyCv2TKld-ghc8.0.1.so()(64bit)
libHSstm-2.4.4.1-4z2NRWnB0NIIUvSJsHW0kF-ghc8.0.1.so()(64bit)
libHSsemigroupoids-5.1-DOBEbMthWnGOE1zGUcNcv-ghc8.0.1.so()(64bit)
libHSprofunctors-5.2-ARVWMjob5rC1bvflrz2fFa-ghc8.0.1.so()(64bit)
libHSlibffi-0.1-DfCwpmlcCM5IjHI8z7yXcV-ghc8.0.1.so()(64bit)
libHScontravariant-1.4-FSdTggRoWUtI7bMOYFMBZH-ghc8.0.1.so()(64bit)
libffi.so.4()(64bit)
libHSbifunctors-5.4.1-1CHNWyPBuRP2XCX9HtUe9Y-ghc8.0.1.so()(64bit)
libHSsafe-0.3.11-Ck0Z7kfzoQA1bcHU9bHvtW-ghc8.0.1.so()(64bit)
libHSmtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM-ghc8.0.1.so()(64bit)
libgmp.so.10()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libHSdata-default-instances-dlist-0.0.1-7EnnOuRxBMR4O5lm1rpRqD-ghc8.0.1.so()(64bit)
libutil.so.1()(64bit)
libHStemplate-haskell-2.11.0.0-ghc8.0.1.so()(64bit)
libHSparallel-3.2.1.0-6VcN0yUHtcs831TgbJiSSi-ghc8.0.1.so()(64bit)
libHSinteger-gmp-1.0.0.1-ghc8.0.1.so()(64bit)
libHSieee754-0.7.9-GGOMObQlFhs75IwEfmeIx2-ghc8.0.1.so()(64bit)
libHStransformers-0.5.2.0-ghc8.0.1.so()(64bit)
libHSreducers-3.12.1-5j1rAaQZtXoJAc5HO6qp9v-ghc8.0.1.so()(64bit)
libHSdeepseq-1.4.2.0-ghc8.0.1.so()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
libHSxss-sanitize-0.3.5.7-1x7W8sINW7y6lsO2KWIIgC-ghc8.0.1.so()(64bit)
libHSvector-0.11.0.0-BEDZb5o2QOhGbIm6ky7rl6-ghc8.0.1.so()(64bit)
libHSghc-prim-0.5.0.0-ghc8.0.1.so()(64bit)
libHSfingertree-0.1.1.0-C6YFXKIQXOA6HvmvFT5gT9-ghc8.0.1.so()(64bit)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libHSvector-binary-instances-0.2.3.4-5cD0L2W335u9PwXg62l6tz-ghc8.0.1.so()(64bit)
libHSutf8-string-1.0.1.1-2T8mBCuEDlXDo8zed8Onw4-ghc8.0.1.so()(64bit)
libHSuniplate-1.6.12-8lRl14XFfBeCbE1RiVcC2r-ghc8.0.1.so()(64bit)
libHSblaze-builder-0.4.0.2-LfJHtaLjD4FC6u7q2ZoVsA-ghc8.0.1.so()(64bit)
libHShaskeline-0.7.2.3-ghc8.0.1.so()(64bit)
libHSsplit-0.2.3.1-IJKK4pOCYGKud0jZImZke-ghc8.0.1.so()(64bit)
libHSparsec-3.1.11-3WIMUA3wnqVJ4nTQk5XohJ-ghc8.0.1.so()(64bit)
libHSkan-extensions-5.0.1-2dq8p1mybdb1RMSXKuPuLv-ghc8.0.1.so()(64bit)
libHSsemigroups-0.18.2-2lmUSJvrDkM6JBURGRclWz-ghc8.0.1.so()(64bit)
libHSadjunctions-4.3-CsVXfOIBNex2SmdrQPdRF6-ghc8.0.1.so()(64bit)
libc.so.6()(64bit)
libHSbinary-0.8.3.0-ghc8.0.1.so()(64bit)
libHSattoparsec-0.13.1.0-PnZFeXDLwG3d7PtiHHmiD-ghc8.0.1.so()(64bit)
libHSreflection-2.1.2-J1ZzlxijzaHGRixYxgxlf9-ghc8.0.1.so()(64bit)
libHSregex-base-0.93.2-4lnOy3Rb1yfISFVEXVfJuH-ghc8.0.1.so()(64bit)
libHSdata-default-instances-old-locale-0.0.1-LPOHPEJCJUa53W1ZYaHB84-ghc8.0.1.so()(64bit)
libHSlens-4.14-ID5F1RC6Ymf7kuR7DKhaJc-ghc8.0.1.so()(64bit)
librt.so.1()(64bit)
libHSdistributive-0.5.2-9n4JhQYTpM2HhirQARWa2k-ghc8.0.1.so()(64bit)
libHStime-1.6.0.1-ghc8.0.1.so()(64bit)
libHSbase-orphans-0.5.4-5IQvrjd7gNP548VkOOyIq6-ghc8.0.1.so()(64bit)
libHSdata-default-instances-containers-0.0.1-B3LqdWnlDzL8N7WtQnkQ3T-ghc8.0.1.so()(64bit)
libHSprocess-1.4.2.0-ghc8.0.1.so()(64bit)
libHSparsers-0.12.4-83fNV5Po9oVK2N4eYA0JOp-ghc8.0.1.so()(64bit)
libHStagged-0.8.5-CtgV6EcN0do8F92i1S6iYx-ghc8.0.1.so()(64bit)
libHSStateVar-1.1.0.4-CJpWsiXJdd89SnV9dZtTwc-ghc8.0.1.so()(64bit)
libHSterminal-size-0.3.2.1-LpkVHWZKZXdLX20uKh4q0i-ghc8.0.1.so()(64bit)
libHSfsnotify-0.2.1-2YUW8LFaLmgBc2ulWxtMA6-ghc8.0.1.so()(64bit)
libHStext-1.2.2.1-JAnD1x1IHr6H3rdrqlXcyH-ghc8.0.1.so()(64bit)
libHSbase-4.9.0.0-ghc8.0.1.so()(64bit)
libHSold-locale-1.0.0.7-6glXNhHF891B41ZfuI8hU8-ghc8.0.1.so()(64bit)
libHSprimitive-0.6.1.0-Ip44DqhfCp21tTUYbecwa-ghc8.0.1.so()(64bit)
libHSunordered-containers-0.2.7.2-CFLYbZbgpOSD4Bev2sBRsH-ghc8.0.1.so()(64bit)
libdl.so.2()(64bit)
libHSvoid-0.7.1-2J4og5r8vsKAGJBHru5xem-ghc8.0.1.so()(64bit)
libHSsyb-0.6-C65vWCsht6A8uLstpQIXyj-ghc8.0.1.so()(64bit)
libHSscientific-0.3.4.9-KipFFKt7jBhK7V75txtijc-ghc8.0.1.so()(64bit)
libHSdata-default-class-0.1.2.0-FYQpjIylblBDctdkHAFeXA-ghc8.0.1.so()(64bit)
libHSregex-tdfa-1.2.2-5rwBQgpgAql9BwSVkjFgwx-ghc8.0.1.so()(64bit)
libHSasync-2.1.1-xFiBzw9xoB8HPZAuxUY2o-ghc8.0.1.so()(64bit)
libHSfilepath-1.4.1.0-ghc8.0.1.so()(64bit)
libHScontainers-0.5.7.1-ghc8.0.1.so()(64bit)
libHScharset-0.3.7.1-FXiflCR923DGm7yGxTettj-ghc8.0.1.so()(64bit)
libHSghc-boot-th-8.0.1-ghc8.0.1.so()(64bit)
libHScss-text-0.1.2.2-4DDl8E01WeLKfJ5fM75VDW-ghc8.0.1.so()(64bit)
libHSblaze-markup-0.7.1.1-FNvUWm3NdhJGYPPjs3lEGj-ghc8.0.1.so()(64bit)
libHSaeson-0.11.3.0-GkykzqDMp8qGuHilrBbDW8-ghc8.0.1.so()(64bit)
libHScomonad-5-gn7gYiI1Pl15XVNYhnuXZ-ghc8.0.1.so()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libtinfo.so.5()(64bit)
libHSunix-compat-0.4.3.1-GamCWWfiT0318wIeUlpE1K-ghc8.0.1.so()(64bit)
libpthread.so.0()(64bit)
libHStrifecta-1.6.2.1-76ddwNOOYxgErqGErlpX0n-ghc8.0.1.so()(64bit)
libHSterminfo-0.4.0.2-ghc8.0.1.so()(64bit)
libHSnetwork-uri-2.6.1.0-DXMofGThtIUB3UWMlzl3nb-ghc8.0.1.so()(64bit)
libHSansi-terminal-0.6.2.3-448ipfN5j28Ha0AgPiJmdI-ghc8.0.1.so()(64bit)
libHSblaze-html-0.8.1.3-2tdBLy4pupxCiQywh2MVLq-ghc8.0.1.so()(64bit)
libHSdata-default-0.7.1.1-5uix4eIzBY9IcVb4V2HbW3-ghc8.0.1.so()(64bit)
libHSoptparse-applicative-0.12.1.0-LOTKI1ZYRJkF3RPPjfyooJ-ghc8.0.1.so()(64bit)
libHStagsoup-0.14-Edu6AsR1Ad5IlQOdHFViOZ-ghc8.0.1.so()(64bit)
libHSbytestring-0.10.8.1-ghc8.0.1.so()(64bit)
libz.so.1()(64bit)
libHSbase64-bytestring-1.0.0.1-In9M41tLtcS9QYt3QpGpNY-ghc8.0.1.so()(64bit)
libHSarray-0.5.1.1-ghc8.0.1.so()(64bit)

Content of RPM :
/usr/lib64/ghc-8.0.1/idris-0.12.3-5XwsK7plwmD3IajZfs8w6m
/usr/lib64/ghc-8.0.1/idris-0.12.3-5XwsK7plwmD3IajZfs8w6m/libHSidris-0.12.3-5XwsK7plwmD3IajZfs8w6m-ghc8.0.1.so
/usr/share/doc/packages/ghc-idris
/usr/share/doc/packages/ghc-idris/LICENSE