svn commit: r541757 - in head: math/cryptominisat math/cvc4 math/py-cryptominisat math/stp security/klee

[Gleb Popov]

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 at 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 at FreeBSD.org