Date: Sat, 1 Jul 2023 13:37:54 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: eade3b3c0ec5 - main - math/cryptominisat: Update to 5.11.11 Message-ID: <202307011337.361Dbs7a089109@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=eade3b3c0ec580098d31558eb86b07888805d492 commit eade3b3c0ec580098d31558eb86b07888805d492 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2023-07-01 13:12:37 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2023-07-01 13:37:49 +0000 math/cryptominisat: Update to 5.11.11 Reported by: portscout! --- 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 8cc5109b6796..2bf7d83d01f8 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,6 +1,5 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.4 -PORTREVISION= 2 +DISTVERSION= 5.11.11 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index d125993e4f6e..14d72ab917ac 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1665824287 -SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317 -SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845 +TIMESTAMP = 1688199521 +SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc +SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202307011337.361Dbs7a089109>