Page MenuHomeFreeBSD
Files F151132645

D16645.id46499.diff
No OneTemporary
Actions

D16645.id46499.diff
View Options

Index: head/math/cryptominisat/Makefile
===================================================================
--- head/math/cryptominisat/Makefile
+++ head/math/cryptominisat/Makefile
@@ -1,8 +1,7 @@
# $FreeBSD$
PORTNAME= cryptominisat
-DISTVERSION= 5.6.1
-PORTREVISION= 2
+DISTVERSION= 5.6.3
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org
Index: head/math/cryptominisat/distinfo
===================================================================
--- head/math/cryptominisat/distinfo
+++ head/math/cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1528624412
-SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa
-SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234
+TIMESTAMP = 1533812522
+SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f
+SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713
Index: head/math/py-cryptominisat/Makefile
===================================================================
--- head/math/py-cryptominisat/Makefile
+++ head/math/py-cryptominisat/Makefile
@@ -1,8 +1,7 @@
# $FreeBSD$
PORTNAME= cryptominisat
-DISTVERSION= 5.6.1
-PORTREVISION= 1
+DISTVERSION= 5.6.3
CATEGORIES= math python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
Index: head/math/py-cryptominisat/distinfo
===================================================================
--- head/math/py-cryptominisat/distinfo
+++ head/math/py-cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1528628948
-SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa
-SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234
+TIMESTAMP = 1533812572
+SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f
+SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713

File Metadata

Mime Type
text/plain
Expires
Tue, Apr 7, 7:37 AM (20 h, 35 s)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
30957236
Default Alt Text
D16645.id46499.diff (1 KB)

Event Timeline