git: a41f63c03eae - main - math/py-pysmt: Test dependency changed to CVC5

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Wed, 04 Jan 2023 11:51:00 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=a41f63c03eae513377384519d8d75eaf0b95e226

commit a41f63c03eae513377384519d8d75eaf0b95e226
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-01-04 11:30:40 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-01-04 11:50:54 +0000

    math/py-pysmt: Test dependency changed to CVC5
    
    The project so far doesn't support CVC5.
---
 math/py-pysmt/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/math/py-pysmt/Makefile b/math/py-pysmt/Makefile
index 6b812543df4d..f77c7f539987 100644
--- a/math/py-pysmt/Makefile
+++ b/math/py-pysmt/Makefile
@@ -15,7 +15,7 @@ RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}six>=0:devel/py-six@${PY_FLAVOR}
 TEST_DEPENDS=	${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR} \
 		z3>0:math/z3 \
-		cvc4>0:math/cvc4
+		cvc5>0:math/cvc5 # CVC4 was replaced with CVC5 - tests are now broken untile this is resolved: https://github.com/pysmt/pysmt/issues/744
 
 USES=		python:3.5+
 USE_GITHUB=	yes