git: 7e177f3a6970 - main - math/cryptominisat: Update to 5.11.15

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Gleb Popov <arrowd_at_FreeBSD.org>
Date: Fri, 29 Dec 2023 20:27:39 UTC

The branch main has been updated by arrowd:

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

commit 7e177f3a6970b3ec7a492220556bf39379321ebe
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2023-12-29 20:27:15 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2023-12-29 20:27:15 +0000

    math/cryptominisat: Update to 5.11.15
    
    Reported by:    repology
---
 math/cryptominisat/Makefile | 3 +--
 math/cryptominisat/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile
index f325f044f788..77292c44893c 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	cryptominisat
-DISTVERSION=	5.11.11
-PORTREVISION=	1
+DISTVERSION=	5.11.15
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo
index 14d72ab917ac..0b600365a921 100644
--- a/math/cryptominisat/distinfo
+++ b/math/cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1688199521
-SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc
-SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869
+TIMESTAMP = 1703881075
+SHA256 (msoos-cryptominisat-5.11.15_GH0.tar.gz) = b2ee17e7a5c6e6843420230215b6c70923b6955f3bef1e443c40555fc59510b0
+SIZE (msoos-cryptominisat-5.11.15_GH0.tar.gz) = 968163