buildroot/package/z3
..
Config.in
z3.hash
z3.mk