freebsd-ports/cad/yosys/files
..
patch-backends_smt2_smtio.py
patch-libs_fst_fstapi.cc