svn commit: r425907 - head/math/cryptominisat

[Dmitry Marakasov]

Author: amdmi3
Date: Fri Nov 11 19:43:03 2016
New Revision: 425907
URL: https://svnweb.freebsd.org/changeset/ports/425907

Log:
  - Update to 5.0.1
  
  PR:		212601
  Submitted by:	6yearold at gmail.com (maintainer)

Modified:
  head/math/cryptominisat/Makefile
  head/math/cryptominisat/distinfo
  head/math/cryptominisat/pkg-plist

Modified: head/math/cryptominisat/Makefile
==============================================================================
--- head/math/cryptominisat/Makefile	Fri Nov 11 19:40:49 2016	(r425906)
+++ head/math/cryptominisat/Makefile	Fri Nov 11 19:43:03 2016	(r425907)
@@ -1,14 +1,15 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
-PORTVERSION=	5.0.0
+PORTVERSION=	5.0.1
 CATEGORIES=	math
 
 MAINTAINER=	6yearold at 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

Modified: head/math/cryptominisat/distinfo
==============================================================================
--- head/math/cryptominisat/distinfo	Fri Nov 11 19:40:49 2016	(r425906)
+++ head/math/cryptominisat/distinfo	Fri Nov 11 19:43:03 2016	(r425907)
@@ -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

Modified: head/math/cryptominisat/pkg-plist
==============================================================================
--- head/math/cryptominisat/pkg-plist	Fri Nov 11 19:40:49 2016	(r425906)
+++ head/math/cryptominisat/pkg-plist	Fri Nov 11 19:43:03 2016	(r425907)
@@ -1,6 +1,7 @@
 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