Mateusz Piotrowski 0480db5e0b Rename math/py-PySMT to math/py-pysmt ... This is done in order to follow the policy set out by the Python team: https://wiki.freebsd.org/Python/PortsPolicy#PORTNAME Reported by: koobs		2020-03-08 16:18:05 +00:00
..
distinfo
Makefile
pkg-descr