cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update z3 to 4.7.1.

Browse Source 
ok benoit@.
This commit is contained in:
rpointel 2018-06-18 08:15:11 +00:00
parent 0fbb1e47f4
commit 459189a351
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/z3/Makefile
View File

@ -1,8 +1,8 @@
# $OpenBSD: Makefile,v 1.5 2018/04/10 08:17:38 rpointel Exp $
# $OpenBSD: Makefile,v 1.6 2018/06/18 08:15:11 rpointel Exp $
COMMENT = z3 theorem prover
VERSION = 4.6.0
VERSION = 4.7.1
DISTNAME = z3-${VERSION}
GH_ACCOUNT = Z3Prover

4
math/z3/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (z3-4.6.0.tar.gz) = UR2jHR+YXPDHmy3gW9pOBXNxulGXadFUb/ceEwT+U8k=
SIZE (z3-4.6.0.tar.gz) = 3987830
SHA256 (z3-4.7.1.tar.gz) = o1Pj2gDNr/0lgFLMFAbvyFRgaFUiKrS/1WecWK9cEcc=
SIZE (z3-4.7.1.tar.gz) = 4015416