ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	math/py-z3-solver: Update 4.8.9 -> 4.8.10	Yuri Victorovich	2021-02-15	2	-4/+4
*	Drop python 2.7 support from a few ports	Antoine Brodin	2020-12-28	1	-1/+1
*	math/py-z3-solver: Update 4.8.8 -> 4.8.9	Yuri Victorovich	2020-11-11	2	-4/+4
*	math/py-z3-solver: Update 4.8.7 -> 4.8.8	Yuri Victorovich	2020-07-22	2	-4/+4
*	math/py-z3-solver: Update 4.8.4 -> 4.8.7	Yuri Victorovich	2020-03-06	2	-5/+4
*	math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help	Yuri Victorovich	2019-07-28	1	-3/+3
*	Bump PORTREVISION for ports depending on the canonical version of GCC	Gerald Pfeifer	2019-07-26	1	-1/+1
*	math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs	Yuri Victorovich	2019-06-09	1	-2/+2
*	math/py-z3-solver: Fix build on 13-CURRENT i386	Yuri Victorovich	2019-05-19	1	-0/+3
*	math/py-z3-solver: Update 4.7.1 -> 4.8.4	Yuri Victorovich	2019-02-10	2	-4/+7
*	This port requires USES=compiler:c++11-lang to build on GCC-based	Mark Linimon	2019-01-12	1	-1/+1
*	math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website	Yuri Victorovich	2018-07-30	4	-0/+44
*	math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name	Yuri Victorovich	2018-07-25	4	-44/+0
*	math/z3: Fix the python binding to work for all python versions	Yuri Victorovich	2018-07-24	4	-0/+44