%FILES%
usr/
usr/bin/
usr/bin/sby
usr/share/
usr/share/licenses/
usr/share/licenses/symbiyosys-git/
usr/share/licenses/symbiyosys-git/LICENSE
usr/share/yosys/
usr/share/yosys/python3/
usr/share/yosys/python3/sby_autotune.py
usr/share/yosys/python3/sby_cmdline.py
usr/share/yosys/python3/sby_core.py
usr/share/yosys/python3/sby_design.py
usr/share/yosys/python3/sby_engine_abc.py
usr/share/yosys/python3/sby_engine_aiger.py
usr/share/yosys/python3/sby_engine_btor.py
usr/share/yosys/python3/sby_engine_itp.py
usr/share/yosys/python3/sby_engine_smtbmc.py
usr/share/yosys/python3/sby_jobserver.py
usr/share/yosys/python3/sby_mode_bmc.py
usr/share/yosys/python3/sby_mode_cover.py
usr/share/yosys/python3/sby_mode_live.py
usr/share/yosys/python3/sby_mode_prove.py
usr/share/yosys/python3/sby_sim.py
usr/share/yosys/python3/sby_status.py
