(library
 (name pkg)
 (libraries z3))
