mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-06 06:30:19 +00:00
Code Issues Releases Activity
73e830046a
freebsd-ports/math/py-z3-solver
History
Yuri Victorovich 7b989edc68 math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website 
z3 is a different project on PyPI.

Reported by:	koobs
2018-07-30 20:17:04 +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: Rename back to math/py-z3-solver to match it on PyPI website 2018-07-30 20:17:04 +00:00
Makefile math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website 2018-07-30 20:17:04 +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