kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

math/py-z3-solver: Update 4.7.1 -> 4.8.4

Browse source
This commit is contained in:
Yuri Victorovich 2019-02-10 18:17:14 +00:00
parent d4a4068a53
commit b3869722fb
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=492625
2 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -2,7 +2,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.7.1
DISTVERSION= 4.8.4
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@ -22,4 +22,7 @@ USE_PYTHON= distutils autoplist
WRKSRC_SUBDIR= src/api/python
post-patch: # https://github.com/Z3Prover/z3/issues/2131
@${REINPLACE_CMD} 's|…|...|' ${WRKSRC}/../../ast/recfun_decl_plugin.h
.include <bsd.port.mk>

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

@ -1,3 +1,3 @@
TIMESTAMP = 1529241358
SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7
SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416
TIMESTAMP = 1549820977
SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601
SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081