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

Provides :
ghc-DAV-devel
ghc-DAV-devel(x86-64)
ghc-devel(DAV-1.3.4-794bGI0JW5EKs1B2V6kenV)

Requires :

/bin/sh
/bin/sh
ghc-DAV = 1.3.4-11.214
ghc-compiler = 8.10.7
ghc-compiler = 8.10.7
ghc-compiler = 8.10.7
ghc-devel(base-4.14.3.0)
ghc-devel(bytestring-0.10.12.0)
ghc-devel(case-insensitive-1.2.1.0-7yX0gGut5Ac6Uwl1EqarD5)
ghc-devel(containers-0.6.5.1)
ghc-devel(data-default-0.7.1.1-BL6m2BngHMsBEQPEliYgNY)
ghc-devel(exceptions-0.10.4)
ghc-devel(http-client-0.7.13.1-Lbx7ihGGZju1RtBVLT9zTH)
ghc-devel(http-client-tls-0.3.6.1-AUaWAItb8995VYDhJO0x5B)
ghc-devel(http-types-0.12.3-9Ji0MvNxLfE7FKn8BhFkSj)
ghc-devel(lens-5.1.1-10eBkXoMT4V3QJWMiI7ni1)
ghc-devel(mtl-2.2.2)
ghc-devel(transformers-0.5.6.2)
ghc-devel(transformers-base-0.4.6-Cks7glHGyPLCKS592e5AJo)
ghc-devel(transformers-compat-0.7.2-1KC3IXOcuxMEnmo4oqBwTm)
ghc-devel(utf8-string-1.0.2-Dcs5HO3nG6SCnaLrgefWwG)
ghc-devel(xml-conduit-1.9.1.1-GUi0fexHRSrKo5kXibqttY)
ghc-devel(xml-hamlet-0.5.0.2-A1r7MzSMFw12CXAnWgq93Y)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

Content of RPM :
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol/HTTP
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol/HTTP/DAV
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol/HTTP/DAV.dyn_hi
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol/HTTP/DAV.hi
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol/HTTP/DAV.p_hi
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol/HTTP/DAV/TH.dyn_hi
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol/HTTP/DAV/TH.hi
/usr/lib64/ghc-8.10.7/DAV-1.3.4/Network/Protocol/HTTP/DAV/TH.p_hi
/usr/lib64/ghc-8.10.7/DAV-1.3.4/libHSDAV-1.3.4-794bGI0JW5EKs1B2V6kenV.a
/usr/lib64/ghc-8.10.7/DAV-1.3.4/libHSDAV-1.3.4-794bGI0JW5EKs1B2V6kenV_p.a
/usr/lib64/ghc-8.10.7/package.conf.d/DAV-1.3.4.conf
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/DAV.haddock
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/DAV.txt
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/Network-Protocol-HTTP-DAV.html
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/doc-index.html
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/haddock-bundle.min.js
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/index.html
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/linuwial.css
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/meta.json
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/quick-jump.css
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/src
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/src/Network.Protocol.HTTP.DAV.TH.html
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/src/Network.Protocol.HTTP.DAV.html
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/src/highlight.js
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/src/style.css
/usr/share/doc/ghc-8.10.7/html/libraries/DAV-1.3.4/synopsis.png
/usr/share/doc/packages/ghc-DAV-devel
There is 1 files more in these RPM.