freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

	Commit message (Expand)	Author	Age	Files	Lines
*	math/z3: Update to 4.8.4.	arrowd	2019-02-24	2	-5/+4
*	Bump PORTREVISION for ports depending on the canonical version of GCC	gerald	2018-12-12	1	-0/+1
*	math/z3: Update to 4.8.3	arrowd	2018-11-24	3	-11/+10
*	math/z3: Add compiler:c++11-lang to USES.	arrowd	2018-09-23	1	-1/+1
*	math/z3: add -znotext to LDFLAGS on i386, for lld	emaste	2018-09-19	1	-0/+1
*	math/z3: Fix the python binding to work for all python versions	yuri	2018-07-25	2	-32/+4
*	math/z3: Update to 4.7.1.	arrowd	2018-06-18	3	-16/+5
*	Mark this ports unbroken on powerpc64.	linimon	2018-03-10	1	-1/+0
*	Update to 4.6.0 release and create shared lib symlink.	ale	2018-01-23	5	-9/+22
*	math/z3: Add missing dependency on devel/py-setuptools	jrm	2017-12-24	1	-1/+2
*	Convert Python ports to FLAVORS.	mat	2017-11-30	1	-2/+2
*	math/z3: Patch to add SONAME to shared library	jrm	2017-09-05	2	-3/+5
*	- Update to 4.5.0	wen	2016-12-09	4	-104/+50
*	many ports: mark broken on powerpc64	swills	2016-04-22	1	-0/+2
*	Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.	mat	2016-04-01	1	-1/+1
*	Port improvements and modernization	feld	2015-09-23	3	-9/+22
*	Z3 is a high-performance theorem prover developed	feld	2015-09-22	5	-0/+154