svn commit: r476818 - in head/math: cryptominisat py-cryptominisat

[Gleb Popov]

Author: arrowd
Date: Fri Aug 10 09:24:41 2018
New Revision: 476818
URL: https://svnweb.freebsd.org/changeset/ports/476818

Log:
  math/cryptominisat: Update to 5.6.3.
  
  Approved by:	tcberner (mentor)
  Differential Revision:	https://reviews.freebsd.org/D16645

Modified:
  head/math/cryptominisat/Makefile
  head/math/cryptominisat/distinfo
  head/math/py-cryptominisat/Makefile
  head/math/py-cryptominisat/distinfo

Modified: head/math/cryptominisat/Makefile
==============================================================================
--- head/math/cryptominisat/Makefile	Fri Aug 10 09:15:15 2018	(r476817)
+++ head/math/cryptominisat/Makefile	Fri Aug 10 09:24:41 2018	(r476818)
@@ -1,8 +1,7 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
-DISTVERSION=	5.6.1
-PORTREVISION=	2
+DISTVERSION=	5.6.3
 CATEGORIES=	math
 
 MAINTAINER=	arrowd at FreeBSD.org

Modified: head/math/cryptominisat/distinfo
==============================================================================
--- head/math/cryptominisat/distinfo	Fri Aug 10 09:15:15 2018	(r476817)
+++ head/math/cryptominisat/distinfo	Fri Aug 10 09:24:41 2018	(r476818)
@@ -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

Modified: head/math/py-cryptominisat/Makefile
==============================================================================
--- head/math/py-cryptominisat/Makefile	Fri Aug 10 09:15:15 2018	(r476817)
+++ head/math/py-cryptominisat/Makefile	Fri Aug 10 09:24:41 2018	(r476818)
@@ -1,8 +1,7 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
-DISTVERSION=	5.6.1
-PORTREVISION=	1
+DISTVERSION=	5.6.3
 CATEGORIES=	math python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 

Modified: head/math/py-cryptominisat/distinfo
==============================================================================
--- head/math/py-cryptominisat/distinfo	Fri Aug 10 09:15:15 2018	(r476817)
+++ head/math/py-cryptominisat/distinfo	Fri Aug 10 09:24:41 2018	(r476818)
@@ -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