diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2020-07-09 15:44:39 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2020-07-09 15:44:39 +0000 |
commit | 16693b1f60db483d3e9dc22c01278f324f3c99f2 (patch) | |
tree | 91ef1cd2c87fe4faee078a5599b14bb1523b5412 /math/cryptominisat | |
parent | d691c9d0e17ffc1210b44a2dd5922409d28cea6b (diff) | |
download | ports-16693b1f60db483d3e9dc22c01278f324f3c99f2.tar.gz ports-16693b1f60db483d3e9dc22c01278f324f3c99f2.zip |
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports.
Notes
Notes:
svn path=/head/; revision=541757
Diffstat (limited to 'math/cryptominisat')
-rw-r--r-- | math/cryptominisat/Makefile | 3 | ||||
-rw-r--r-- | math/cryptominisat/distinfo | 6 | ||||
-rw-r--r-- | math/cryptominisat/pkg-plist | 2 |
3 files changed, 5 insertions, 6 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index e21327e28440..2e3dfeb82b2c 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.8 -PORTREVISION= 6 +DISTVERSION= 5.7.1 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index e0e9288d9ea9..6d1ca6b96068 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -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 diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist index d5b1f3d5e26e..58fd28f62e71 100644 --- a/math/cryptominisat/pkg-plist +++ b/math/cryptominisat/pkg-plist @@ -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 |