Gleb Popov 888c432848 math/z3: Pull in upstream patch to fix build on i386. ... Reported by: pkg-fallout		2019-11-24 07:17:49 +00:00
..
files	math/z3: Pull in upstream patch to fix build on i386.	2019-11-24 07:17:49 +00:00
distinfo	math/z3: Update to 4.8.7.	2019-11-23 15:55:43 +00:00
Makefile	math/z3: Update to 4.8.7.	2019-11-23 15:55:43 +00:00
pkg-descr
pkg-plist