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

Provides :
yosys-devel
yosys-devel(x86-64)

Requires :

/usr/bin/bash
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
tcl-devel
yosys(x86-64) = 0.49-1.20250121gite456f2e.fc40

Content of RPM :
/usr/bin/yosys-config
/usr/include/yosys
/usr/include/yosys/backends
/usr/include/yosys/backends/cxxrtl
/usr/include/yosys/backends/cxxrtl/runtime
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/capi
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.cc
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.h
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.cc
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.h
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/cxxrtl.h
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/cxxrtl_replay.h
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/cxxrtl_time.h
/usr/include/yosys/backends/cxxrtl/runtime/cxxrtl/cxxrtl_vcd.h
/usr/include/yosys/backends/rtlil
/usr/include/yosys/backends/rtlil/rtlil_backend.h
/usr/include/yosys/frontends
/usr/include/yosys/frontends/ast
/usr/include/yosys/frontends/ast/ast.h
/usr/include/yosys/frontends/ast/ast_binding.h
/usr/include/yosys/frontends/blif
/usr/include/yosys/frontends/blif/blifparse.h
/usr/include/yosys/kernel
/usr/include/yosys/kernel/binding.h
/usr/include/yosys/kernel/bitpattern.h
/usr/include/yosys/kernel/cellaigs.h
/usr/include/yosys/kernel/celledges.h
/usr/include/yosys/kernel/celltypes.h
/usr/include/yosys/kernel/consteval.h
There is 40 files more in these RPM.