Page MenuHomeFreeBSD
Files F177566629

D19306.1794754138.diff
No OneTemporary
Actions

Authored By
Unknown
Size
824 B
Referenced Files
None
Subscribers
None

D19306.1794754138.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
Sun, Nov 15, 2:48 PM (23 h, 45 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
41744158
Default Alt Text
D19306.1794754138.diff (824 B)

Event Timeline