git: 144ca648bb70 - main - math/py-cryptominisat: Update to 5.11.11

The branch main has been updated by arrowd:

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

commit 144ca648bb70ed2abc880d06d930607995c4b437
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2023-07-01 13:24:02 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2023-07-01 13:37:49 +0000

    math/py-cryptominisat: Update to 5.11.11
    
    Reported by:    portscout!
---
 math/py-cryptominisat/Makefile | 4 +++-
 math/py-cryptominisat/distinfo | 6 +++---
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/math/py-cryptominisat/Makefile b/math/py-cryptominisat/Makefile
index cc509ebbd504..308e296cb0ab 100644
--- a/math/py-cryptominisat/Makefile
+++ b/math/py-cryptominisat/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	cryptominisat
-DISTVERSION=	5.11.4
+DISTVERSION=	5.11.11
 CATEGORIES=	math python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
@@ -12,7 +12,9 @@ LICENSE_COMB=	multi
 LICENSE_FILE_LGPL21=	${WRKSRC}/LICENSE.txt
 LICENSE_FILE_MIT=	${WRKSRC}/LICENSE.txt
 
+BUILD_DEPENDS=	${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR}
 LIB_DEPENDS=	libcryptominisat5.so:math/cryptominisat
+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR}
 
 USES=		compiler:c++11-lib python
 USE_PYTHON=	autoplist distutils
diff --git a/math/py-cryptominisat/distinfo b/math/py-cryptominisat/distinfo
index f50c3c436244..6c4375276a38 100644
--- a/math/py-cryptominisat/distinfo
+++ b/math/py-cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1665824399
-SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317
-SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845
+TIMESTAMP = 1688217189
+SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc
+SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869