math/cryptominisat: Update to 5.11.21

Reported by: portscout!
freebsd · Feb 11, 2024 · d3f4816 · d3f4816
1 parent 302ea99
commit d3f4816
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 5 deletions.
diff --git 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
@@ -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
@@ -1,5 +1,4 @@
 bin/cryptominisat5
-bin/cryptominisat5_simple
 include/cryptominisat5/cryptominisat.h
 include/cryptominisat5/cryptominisat_c.h
 include/cryptominisat5/dimacsparser.h