Date: Fri, 29 Dec 2023 20:27:39 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 7e177f3a6970 - main - math/cryptominisat: Update to 5.11.15 Message-ID: <202312292027.3BTKRd4O006308@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202312292027.3BTKRd4O006308>