From owner-svn-ports-all@freebsd.org Fri Nov 11 19:43:04 2016 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id B2854C3C4A3; Fri, 11 Nov 2016 19:43:04 +0000 (UTC) (envelope-from amdmi3@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 6C14D1F72; Fri, 11 Nov 2016 19:43:04 +0000 (UTC) (envelope-from amdmi3@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id uABJh3hC004555; Fri, 11 Nov 2016 19:43:03 GMT (envelope-from amdmi3@FreeBSD.org) Received: (from amdmi3@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id uABJh3lf004552; Fri, 11 Nov 2016 19:43:03 GMT (envelope-from amdmi3@FreeBSD.org) Message-Id: <201611111943.uABJh3lf004552@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: amdmi3 set sender to amdmi3@FreeBSD.org using -f From: Dmitry Marakasov Date: Fri, 11 Nov 2016 19:43:03 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r425907 - head/math/cryptominisat X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 11 Nov 2016 19:43:04 -0000 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