Date: Fri, 11 Nov 2016 19:43:03 +0000 (UTC) From: Dmitry Marakasov <amdmi3@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r425907 - head/math/cryptominisat Message-ID: <201611111943.uABJh3lf004552@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201611111943.uABJh3lf004552>