Date: Thu, 9 Jul 2020 15:44:39 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r541757 - in head: math/cryptominisat math/cvc4 math/py-cryptominisat math/stp security/klee Message-ID: <202007091544.069Fidlj049295@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: arrowd Date: Thu Jul 9 15:44:39 2020 New Revision: 541757 URL: https://svnweb.freebsd.org/changeset/ports/541757 Log: math/cryptominisat and math/py-cryptominisat: Update to 5.7.1 Bump PORTREVISIONs of consumer ports. Modified: head/math/cryptominisat/Makefile head/math/cryptominisat/distinfo head/math/cryptominisat/pkg-plist head/math/cvc4/Makefile head/math/py-cryptominisat/Makefile head/math/py-cryptominisat/distinfo head/math/stp/Makefile head/security/klee/Makefile Modified: head/math/cryptominisat/Makefile ============================================================================== --- head/math/cryptominisat/Makefile Thu Jul 9 15:41:24 2020 (r541756) +++ head/math/cryptominisat/Makefile Thu Jul 9 15:44:39 2020 (r541757) @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.8 -PORTREVISION= 6 +DISTVERSION= 5.7.1 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org Modified: head/math/cryptominisat/distinfo ============================================================================== --- head/math/cryptominisat/distinfo Thu Jul 9 15:41:24 2020 (r541756) +++ head/math/cryptominisat/distinfo Thu Jul 9 15:44:39 2020 (r541757) @@ -1,3 +1,3 @@ -TIMESTAMP = 1550904410 -SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55 -SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037 +TIMESTAMP = 1594302622 +SHA256 (msoos-cryptominisat-5.7.1_GH0.tar.gz) = d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e +SIZE (msoos-cryptominisat-5.7.1_GH0.tar.gz) = 882748 Modified: head/math/cryptominisat/pkg-plist ============================================================================== --- head/math/cryptominisat/pkg-plist Thu Jul 9 15:41:24 2020 (r541756) +++ head/math/cryptominisat/pkg-plist Thu Jul 9 15:44:39 2020 (r541757) @@ -9,4 +9,4 @@ 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.6 +lib/libcryptominisat5.so.5.7 Modified: head/math/cvc4/Makefile ============================================================================== --- head/math/cvc4/Makefile Thu Jul 9 15:41:24 2020 (r541756) +++ head/math/cvc4/Makefile Thu Jul 9 15:44:39 2020 (r541757) @@ -2,7 +2,7 @@ PORTNAME= cvc4 DISTVERSION= 1.7 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= math java MASTER_SITES+= http://www.antlr3.org/download/:antlr3 DISTFILES+= antlr-3.4-complete.jar:antlr3 Modified: head/math/py-cryptominisat/Makefile ============================================================================== --- head/math/py-cryptominisat/Makefile Thu Jul 9 15:41:24 2020 (r541756) +++ head/math/py-cryptominisat/Makefile Thu Jul 9 15:44:39 2020 (r541757) @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.8 -PORTREVISION= 1 +DISTVERSION= 5.7.1 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} Modified: head/math/py-cryptominisat/distinfo ============================================================================== --- head/math/py-cryptominisat/distinfo Thu Jul 9 15:41:24 2020 (r541756) +++ head/math/py-cryptominisat/distinfo Thu Jul 9 15:44:39 2020 (r541757) @@ -1,3 +1,3 @@ -TIMESTAMP = 1550905881 -SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55 -SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037 +TIMESTAMP = 1594302755 +SHA256 (msoos-cryptominisat-5.7.1_GH0.tar.gz) = d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e +SIZE (msoos-cryptominisat-5.7.1_GH0.tar.gz) = 882748 Modified: head/math/stp/Makefile ============================================================================== --- head/math/stp/Makefile Thu Jul 9 15:41:24 2020 (r541756) +++ head/math/stp/Makefile Thu Jul 9 15:44:39 2020 (r541757) @@ -3,7 +3,7 @@ PORTNAME= stp DISTVERSION= 2.3.3 -PORTREVISION= 5 +PORTREVISION= 6 PORTEPOCH= 1 CATEGORIES= math Modified: head/security/klee/Makefile ============================================================================== --- head/security/klee/Makefile Thu Jul 9 15:41:24 2020 (r541756) +++ head/security/klee/Makefile Thu Jul 9 15:44:39 2020 (r541757) @@ -3,6 +3,7 @@ PORTNAME= klee DISTVERSIONPREFIX= v DISTVERSION= 2.1 +PORTREVISION= 1 CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202007091544.069Fidlj049295>