git: d3f4816d560e - main - math/cryptominisat: Update to 5.11.21

The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=d3f4816d560e4632b7a53c585659b8df2f912145

commit d3f4816d560e4632b7a53c585659b8df2f912145
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2024-02-11 09:54:13 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-02-11 10:07:23 +0000

    math/cryptominisat: Update to 5.11.21
    
    Reported by:    portscout!
---
 math/cryptominisat/Makefile  | 2 +-
 math/cryptominisat/distinfo  | 6 +++---
 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