Index: math/cryptominisat/Makefile
===================================================================
--- math/cryptominisat/Makefile
+++ 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: math/cryptominisat/distinfo
===================================================================
--- math/cryptominisat/distinfo
+++ 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: math/py-cryptominisat/Makefile
===================================================================
--- math/py-cryptominisat/Makefile
+++ 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: math/py-cryptominisat/distinfo
===================================================================
--- math/py-cryptominisat/distinfo
+++ 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