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

Provides :
yosys-share

Requires :

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/share/yosys
/usr/share/yosys/abc9_map.v
/usr/share/yosys/abc9_model.v
/usr/share/yosys/abc9_unmap.v
/usr/share/yosys/achronix
/usr/share/yosys/achronix/speedster22i
/usr/share/yosys/achronix/speedster22i/cells_map.v
/usr/share/yosys/achronix/speedster22i/cells_sim.v
/usr/share/yosys/adff2dff.v
/usr/share/yosys/anlogic
/usr/share/yosys/anlogic/arith_map.v
/usr/share/yosys/anlogic/brams.txt
/usr/share/yosys/anlogic/brams_map.v
/usr/share/yosys/anlogic/cells_map.v
/usr/share/yosys/anlogic/cells_sim.v
/usr/share/yosys/anlogic/eagle_bb.v
/usr/share/yosys/anlogic/lutrams.txt
/usr/share/yosys/anlogic/lutrams_map.v
/usr/share/yosys/cells.lib
/usr/share/yosys/choices
/usr/share/yosys/choices/han-carlson.v
/usr/share/yosys/choices/kogge-stone.v
/usr/share/yosys/choices/sklansky.v
/usr/share/yosys/cmp2lcu.v
/usr/share/yosys/cmp2lut.v
/usr/share/yosys/cmp2softlogic.v
/usr/share/yosys/coolrunner2
/usr/share/yosys/coolrunner2/cells_counter_map.v
/usr/share/yosys/coolrunner2/cells_latch.v
/usr/share/yosys/coolrunner2/cells_sim.v
There is 275 files more in these RPM.