kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/py-z3-solver
History
Yuri Victorovich b3869722fb math/py-z3-solver: Update 4.7.1 -> 4.8.4
2019-02-10 18:17:14 +00:00
..
files math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website 2018-07-30 20:17:04 +00:00
distinfo math/py-z3-solver: Update 4.7.1 -> 4.8.4 2019-02-10 18:17:14 +00:00
Makefile math/py-z3-solver: Update 4.7.1 -> 4.8.4 2019-02-10 18:17:14 +00:00
pkg-descr math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website 2018-07-30 20:17:04 +00:00