/devel/p5-SVN-Simple/

/www.csie.ntu.edu.tw/~b01902062/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/py-z3-solver
Commit message (Expand)AuthorAgeFilesLines
* math/py-z3-solver: Broken on i386, workaround suggested by the error didn't helpyuri2019-07-291-3/+3
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2019-07-271-1/+1
* math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongsyuri2019-06-091-2/+2
* math/py-z3-solver: Fix build on 13-CURRENT i386yuri2019-05-191-0/+3
* math/py-z3-solver: Update 4.7.1 -> 4.8.4yuri2019-02-112-4/+7
* This port requires USES=compiler:c++11-lang to build on GCC-basedlinimon2019-01-131-1/+1
* math/py-z3: Rename back to math/py-z3-solver to match it on PyPI websiteyuri2018-07-314-0/+44
* math/py-z3-solver: Rename to math/py-z3 to have a more intuitive nameyuri2018-07-264-44/+0