Index: head/math/cryptominisat/Makefile
===================================================================
--- head/math/cryptominisat/Makefile	(revision 425906)
+++ head/math/cryptominisat/Makefile	(revision 425907)
@@ -1,24 +1,25 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
-PORTVERSION=	5.0.0
+PORTVERSION=	5.0.1
 CATEGORIES=	math
 
 MAINTAINER=	6yearold@gmail.com
 COMMENT=	General-purpose award-winning SAT solver
 
-LICENSE=	LGPL3
-LICENSE_FILE=	${WRKSRC}/LICENSE
+LICENSE=	MIT LGPL21
+LICENSE_COMB=	multi
+LICENSE_FILE_LGPL21=	${WRKSRC}/LICENSE-SCALMC
 
 BUILD_DEPENDS=	xxd:editors/vim-lite # for xxd tool
 LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	msoos
 
 USES=		cmake compiler:c++11-lib
 USE_LDCONFIG=	yes
 
 CMAKE_ARGS=	-DNOM4RI=1 -DENABLE_PYTHON_INTERFACE=OFF
 
 .include <bsd.port.mk>
Index: head/math/cryptominisat/distinfo
===================================================================
--- head/math/cryptominisat/distinfo	(revision 425906)
+++ head/math/cryptominisat/distinfo	(revision 425907)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1469882294
-SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910
-SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712
+TIMESTAMP = 1473692160
+SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263
+SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710
Index: head/math/cryptominisat/pkg-plist
===================================================================
--- head/math/cryptominisat/pkg-plist	(revision 425906)
+++ head/math/cryptominisat/pkg-plist	(revision 425907)
@@ -1,9 +1,10 @@
 bin/cryptominisat5
 bin/cryptominisat5_simple
 include/cryptominisat5/cryptominisat.h
+include/cryptominisat5/cryptominisat_c.h
 include/cryptominisat5/solvertypesmini.h
 lib/cmake/cryptominisat5/cryptominisat5Config.cmake
 lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
 lib/libcryptominisat5.so
 lib/libcryptominisat5.so.5.0