/debian/man/
../
.gitignore
genmanpages.sh
yosys-smtbmc.txt