sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 01:26:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/py-z3-solver: update 4.13.3 → 4.14.1

Browse source
This commit is contained in:
Yuri Victorovich 2025-03-23 14:10:29 -07:00
parent 80d496d492
commit 072ca418a1
2 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
math/py-z3-solver/Makefile
View file

@ -1,6 +1,6 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.13.3
DISTVERSION= 4.14.1
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@ -44,6 +44,7 @@ do-test:
${ECHO} "==> running the example ${e}" && \
${SETENV} ${TEST_ENV} ${PYTHON_CMD} ${FILESDIR}/example-${e}.py && \
${ECHO} "... example ${e} succeeded"
@${ECHO} "All tests succeeded."
.endfor
.include <bsd.port.mk>

6
math/py-z3-solver/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1731045651
SHA256 (Z3Prover-z3-z3-4.13.3_GH0.tar.gz) = f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0
SIZE (Z3Prover-z3-z3-4.13.3_GH0.tar.gz) = 5583533
TIMESTAMP = 1742764116
SHA256 (Z3Prover-z3-z3-4.14.1_GH0.tar.gz) = 81a02c2c64c64d6c3df233f59186b95627990ada0c4c2fc901c9c25a7072672a
SIZE (Z3Prover-z3-z3-4.14.1_GH0.tar.gz) = 5844214