diff --git a/math/chuffed/Makefile b/math/chuffed/Makefile index 4b85c552de98..97b4eea7a4ba 100644 --- a/math/chuffed/Makefile +++ b/math/chuffed/Makefile @@ -1,25 +1,25 @@ PORTNAME= chuffed -DISTVERSION= 0.12.0 +DISTVERSION= 0.12.1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Lazy clause generation CP solver for MiniZinc WWW= https://github.com/chuffed/chuffed LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE USES= bison cmake compiler:c++11-lang USE_GITHUB= yes GH_TAGNAME= e04bedd # devel branch: only devel branch is compatible with the current MiniZinc GH_TUPLE= cp-profiler:cpp-integration:f16b313:cpi/submodules/cp-profiler-integration DATADIR= ${PREFIX}/share/minizinc/chuffed post-install: # correct version in the config file ${REINPLACE_CMD} -i '' -e 's|"version": ".*",|"version": "${PORTVERSION}",|' \ ${STAGEDIR}${PREFIX}/share/minizinc/solvers/chuffed.msc .include diff --git a/math/chuffed/distinfo b/math/chuffed/distinfo index 7503ea5b7f77..9481d81c99e7 100644 --- a/math/chuffed/distinfo +++ b/math/chuffed/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1685314766 -SHA256 (chuffed-chuffed-0.12.0-e04bedd_GH0.tar.gz) = 42dc36cf0d7a408ccbced3c7c0b1a492898588401ddab435ff2f30580f0293aa -SIZE (chuffed-chuffed-0.12.0-e04bedd_GH0.tar.gz) = 321590 +TIMESTAMP = 1687403860 +SHA256 (chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz) = 42dc36cf0d7a408ccbced3c7c0b1a492898588401ddab435ff2f30580f0293aa +SIZE (chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz) = 321590 SHA256 (cp-profiler-cpp-integration-f16b313_GH0.tar.gz) = 871b081fbc4ee76077eccd388ff1c6063e0376f365eba2cb9d8ce0ab9a617275 SIZE (cp-profiler-cpp-integration-f16b313_GH0.tar.gz) = 5214