pkgsrc/math/py-z3
..
DESCR
Makefile
PLIST