diff options
Diffstat (limited to 'math/py-pysmt/Makefile')
| -rw-r--r-- | math/py-pysmt/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/py-pysmt/Makefile b/math/py-pysmt/Makefile index daf6e093721f..d0b9eab54574 100644 --- a/math/py-pysmt/Makefile +++ b/math/py-pysmt/Makefile @@ -16,7 +16,6 @@ TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \ z3>0:math/z3 \ cvc4>0:math/cvc4 - USES= python:3.5+ USE_GITHUB= yes USE_PYTHON= autoplist concurrent distutils |