Mateusz Piotrowski 116c083715 math/py-pysmt: Update to 0.9.0 ... Release notes: https://github.com/pysmt/pysmt/releases/tag/v0.9.0 Also: - Add some solvers to TEST_DEPENDS to skip less tests - Drop support for Python 2, it's not longer supported upstream		2020-08-08 22:47:28 +00:00
..
distinfo
Makefile
pkg-descr