diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2024-02-11 09:54:13 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2024-02-11 10:07:23 +0000 |
commit | d3f4816d560e4632b7a53c585659b8df2f912145 (patch) | |
tree | fe74e0f7207e6a9dc2db95f24778f06e5ce3bf68 | |
parent | 302ea998d827b75597ea72edb446057497fa44a6 (diff) | |
download | ports-d3f4816d560e4632b7a53c585659b8df2f912145.tar.gz ports-d3f4816d560e4632b7a53c585659b8df2f912145.zip |
math/cryptominisat: Update to 5.11.21
Reported by: portscout!
-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 |