diff options
-rw-r--r-- | math/cryptominisat/Makefile | 2 | ||||
-rw-r--r-- | math/cryptominisat/distinfo | 6 | ||||
-rw-r--r-- | math/cryptominisat/pkg-plist | 1 |
3 files changed, 4 insertions, 5 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index 77292c44893c..78fd49b95299 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,5 +1,5 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.15 +DISTVERSION= 5.11.21 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index 0b600365a921..35deaca0eeb5 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1703881075 -SHA256 (msoos-cryptominisat-5.11.15_GH0.tar.gz) = b2ee17e7a5c6e6843420230215b6c70923b6955f3bef1e443c40555fc59510b0 -SIZE (msoos-cryptominisat-5.11.15_GH0.tar.gz) = 968163 +TIMESTAMP = 1707644489 +SHA256 (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b +SIZE (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 975459 diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist index 347ac79dd569..19bf75fa03ff 100644 --- a/math/cryptominisat/pkg-plist +++ b/math/cryptominisat/pkg-plist @@ -1,5 +1,4 @@ bin/cryptominisat5 -bin/cryptominisat5_simple include/cryptominisat5/cryptominisat.h include/cryptominisat5/cryptominisat_c.h include/cryptominisat5/dimacsparser.h |