/devel/cutter/

cgi/'>index : freebsd-ports-gnome
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/z3
Commit message (Expand)AuthorAgeFilesLines
* math/z3: Pull in upstream patch to fix build on i386.arrowd2019-11-241-0/+11
* math/z3: Update to 4.8.7.arrowd2019-11-232-4/+4
* math/z3: Update to 4.8.6.arrowd2019-09-223-17/+9
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2019-07-27