ports/math/py-z3-solver
..
files
distinfo
Makefile
pkg-descr
pkg-plist