Content of RPM yosys-devel-0.9-3.fc31.i686.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
/usr/include/yosys/passes/fsm/fsmdata.h
/usr/share/man/man1/yosys-config.1.gz