Page MenuHomeFreeBSD
Files F139439768

D19306.id54248.diff
No OneTemporary
Actions

D19306.id54248.diff
View Options

Index: math/z3/Makefile
===================================================================
--- math/z3/Makefile
+++ math/z3/Makefile
@@ -2,8 +2,7 @@
PORTNAME= z3
DISTVERSIONPREFIX= ${PORTNAME}-
-DISTVERSION= 4.8.3
-PORTREVISION= 1
+DISTVERSION= 4.8.4
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org
Index: math/z3/distinfo
===================================================================
--- math/z3/distinfo
+++ math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1542720512
-SHA256 (Z3Prover-z3-z3-4.8.3_GH0.tar.gz) = 21620b68c373cdea0d3b2cf24020be4ecfb22eddc6629663f6e9ce31cfdc78de
-SIZE (Z3Prover-z3-z3-4.8.3_GH0.tar.gz) = 4119116
+TIMESTAMP = 1550916438
+SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601
+SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081

File Metadata

Mime Type
text/plain
Expires
Sat, Dec 13, 2:52 AM (15 h, 20 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
26919088
Default Alt Text
D19306.id54248.diff (824 B)

Event Timeline