Download ftp.icm.edu.pl   yosys-devel-0.7-5.fc27.x86_64.rpm

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

Requires :

/bin/bash
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
yosys(x86-64) = 0.7-5.fc27

Content of RPM :
/usr/bin/yosys-config
/usr/include/yosys
/usr/include/yosys/backends
/usr/include/yosys/backends/ilang
/usr/include/yosys/backends/ilang/ilang_backend.h
/usr/include/yosys/frontends
/usr/include/yosys/frontends/ast
/usr/include/yosys/frontends/ast/ast.h
/usr/include/yosys/kernel
/usr/include/yosys/kernel/celledges.h
/usr/include/yosys/kernel/celltypes.h
/usr/include/yosys/kernel/consteval.h
/usr/include/yosys/kernel/hashlib.h
/usr/include/yosys/kernel/log.h
/usr/include/yosys/kernel/macc.h
/usr/include/yosys/kernel/modtools.h
/usr/include/yosys/kernel/register.h
/usr/include/yosys/kernel/rtlil.h
/usr/include/yosys/kernel/satgen.h
/usr/include/yosys/kernel/sigtools.h
/usr/include/yosys/kernel/utils.h
/usr/include/yosys/kernel/yosys.h
/usr/include/yosys/libs
/usr/include/yosys/libs/ezsat
/usr/include/yosys/libs/ezsat/ezminisat.h
/usr/include/yosys/libs/ezsat/ezsat.h
/usr/include/yosys/libs/sha1
/usr/include/yosys/libs/sha1/sha1.h
/usr/include/yosys/passes
/usr/include/yosys/passes/fsm
There is 2 files more in these RPM.