Joseph Mingrone 533097adc5 math/z3: Patch to add SONAME to shared library ... Also ensure that python is available at build time when the PYTHON option (for python bindings) is off. PR: 221321 Submitted by: 6yearold@gmail.com (maintainer)		2017-09-05 15:26:54 +00:00
..
files	math/z3: Patch to add SONAME to shared library	2017-09-05 15:26:54 +00:00
distinfo
Makefile	math/z3: Patch to add SONAME to shared library	2017-09-05 15:26:54 +00:00
pkg-descr
pkg-plist