ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	Bump PORTREVISION for ports depending on the canonical version of GCC	Gerald Pfeifer	2018-12-12	1	-0/+1
*	math/z3: Update to 4.8.3	Gleb Popov	2018-11-24	3	-11/+10
*	math/z3: Add compiler:c++11-lang to USES.	Gleb Popov	2018-09-22	1	-1/+1
*	math/z3: add -znotext to LDFLAGS on i386, for lld	Ed Maste	2018-09-18	1	-0/+1
*	math/z3: Fix the python binding to work for all python versions	Yuri Victorovich	2018-07-24	2	-32/+4
*	math/z3: Update to 4.7.1.	Gleb Popov	2018-06-17	3	-16/+5
*	Mark this ports unbroken on powerpc64.	Mark Linimon	2018-03-09	1	-1/+0
*	Update to 4.6.0 release and create shared lib symlink.	Alex Dupre	2018-01-23	5	-9/+22
*	math/z3: Add missing dependency on devel/py-setuptools	Joseph Mingrone	2017-12-24	1	-1/+2
*	Convert Python ports to FLAVORS.	Mathieu Arnold	2017-11-30	1	-2/+2
*	math/z3: Patch to add SONAME to shared library	Joseph Mingrone	2017-09-05	2	-3/+5
*	- Update to 4.5.0	Wen Heping	2016-12-09	4	-104/+50
*	many ports: mark broken on powerpc64	Steve Wills	2016-04-21	1	-0/+2
*	Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.	Mathieu Arnold	2016-04-01	1	-1/+1
*	Port improvements and modernization	Mark Felder	2015-09-23	3	-9/+22
*	Z3 is a high-performance theorem prover developed	Mark Felder	2015-09-22	5	-0/+154