diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index 8cc5109b6796..2bf7d83d01f8 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,26 +1,25 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.4 -PORTREVISION= 2 +DISTVERSION= 5.11.11 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org COMMENT= General-purpose award-winning SAT solver WWW= https://github.com/msoos/cryptominisat LICENSE= MIT LGPL21 LICENSE_COMB= multi LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt LIB_DEPENDS= libm4ri.so:math/m4ri \ libboost_program_options.so:devel/boost-libs USES= cmake compiler:c++11-lib USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= msoos CMAKE_OFF= ENABLE_PYTHON_INTERFACE .include 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