Mark Linimon 6b227bdcfa This port requires USES=compiler:c++11-lang to build on GCC-based ... architectures. PR: 234336 Submitted by: Piotr Kubaj Approved by: maintainer		2019-01-12 23:11:23 +00:00
..
files	math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website	2018-07-30 20:17:04 +00:00
distinfo	math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website	2018-07-30 20:17:04 +00:00
Makefile	This port requires USES=compiler:c++11-lang to build on GCC-based	2019-01-12 23:11:23 +00:00
pkg-descr	math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website	2018-07-30 20:17:04 +00:00