Index: head/math/cryptominisat/Makefile
===================================================================
--- head/math/cryptominisat/Makefile	(revision 476817)
+++ head/math/cryptominisat/Makefile	(revision 476818)
@@ -1,29 +1,28 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
-DISTVERSION=	5.6.1
-PORTREVISION=	2
+DISTVERSION=	5.6.3
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	General-purpose award-winning SAT solver
 
 LICENSE=	MIT LGPL21
 LICENSE_COMB=	multi
 LICENSE_FILE_LGPL21=	${WRKSRC}/LICENSE.txt
 LICENSE_FILE_MIT=	${WRKSRC}/LICENSE.txt
 
 BROKEN_powerpc64=	fails to compile: main.cpp: undefined reference to boost::program_options::abstract_variables_map::operator[]
 
 LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs
 
 USES=		cmake:outsource compiler:c++11-lib
 USE_LDCONFIG=	yes
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	msoos
 
 CMAKE_ON=	NOM4RI
 CMAKE_OFF=	ENABLE_PYTHON_INTERFACE
 
 .include <bsd.port.mk>
Index: head/math/cryptominisat/distinfo
===================================================================
--- head/math/cryptominisat/distinfo	(revision 476817)
+++ head/math/cryptominisat/distinfo	(revision 476818)
@@ -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	(revision 476817)
+++ head/math/py-cryptominisat/Makefile	(revision 476818)
@@ -1,41 +1,40 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
-DISTVERSION=	5.6.1
-PORTREVISION=	1
+DISTVERSION=	5.6.3
 CATEGORIES=	math python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	Bindings to CryptoMiniSat (a SAT solver)
 
 LICENSE=	MIT LGPL21
 LICENSE_COMB=	multi
 LICENSE_FILE_LGPL21=	${WRKSRC}/../LICENSE.txt
 LICENSE_FILE_MIT=	${WRKSRC}/../LICENSE.txt
 
 LIB_DEPENDS=	libcryptominisat5.so:math/cryptominisat
 
 USES=		compiler:c++11-lib python
 USE_PYTHON=	autoplist distutils
 USE_GITHUB=	yes
 
 GH_ACCOUNT=	msoos
 
 WRKSRC_SUBDIR=	python
 
 PYDISTUTILS_BUILDTARGET=	build_ext --include-dirs=${LOCALBASE}/include
 
 post-patch:
 	${REINPLACE_CMD} -e 's|@PROJECT_VERSION@|${PORTVERSION}|' \
 		-e 's|$${CMAKE_C_COMPILER}|${CC}|' \
 		-e 's|$${CMAKE_CXX_COMPILER}|${CXX}|' \
 		-e 's|$${PY_C_CONFIG}||' \
 		-e 's|$${PY_LD_CONFIG}||' \
 		-e 's|$${APPLE}||' ${WRKSRC}/setup.py.in
 	${CP} ${WRKSRC}/setup.py.in ${WRKSRC}/setup.py
 
 post-install:
 	${STRIP_CMD} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}/pycryptosat.so
 
 .include <bsd.port.mk>
Index: head/math/py-cryptominisat/distinfo
===================================================================
--- head/math/py-cryptominisat/distinfo	(revision 476817)
+++ head/math/py-cryptominisat/distinfo	(revision 476818)
@@ -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