Yuri Victorovich 20e16bb4cd math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help ... Reported to the upstream. Reported by: fallout		2019-07-28 18:29:13 +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-solver: Update 4.7.1 -> 4.8.4	2019-02-10 18:17:14 +00:00
Makefile	math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help	2019-07-28 18:29:13 +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