Download ftp.icm.edu.pl   yosys-devel-0.9-3.fc31.i686.rpm

Search for other platforms yosys-devel-0.9-3.fc31.sparc.rpm yosys-devel-0.9-3.fc31.alpha.rpm yosys-devel-0.9-3.fc31.ppc.rpm yosys-devel-0.9-3.fc31.ia64.rpm yosys-devel-0.9-3.fc31.s390.rpm

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

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
yosys(x86-32) = 0.9-3.fc31

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.