From nobody Fri Aug 11 18:06:32 2023 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4RMsDm3LBYz4mFkn; Fri, 11 Aug 2023 18:06:32 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4RMsDm2jkpz3KLc; Fri, 11 Aug 2023 18:06:32 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1691777192; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=mNUARk5lu/vxKwRx8QzmJ36cMqXr09tklbJ2TTP91VM=; b=eN6Nc+XgXdn2NpKIuNlPHlKVgnxn7PEpBEQ2hsyWvuk8Nn8YsNDduxZTSQ3U0lQgw11i+L 1qmmOOFabCn6UCyJXr9A78CRuGs454x2TyvOhLoH3o46Q5dPm9YBX3qciTftSLn044Edjv x132GCjNX/GysDngy9FAjCvsHGtKdmBhUkRAuqX4HjCqCt4GHCH30hZEE6Nz9bZVKaD4wU xKm7HZrDE0UY2fNH12nQbD8J/bQeWrtN4dlYNHP4KIKEq/kVjCPGOhHYiSksgK1I4HdkWE H9py+RQlMxerCtYZXh1pE9ynCNfdvnt+nTgV6b7Z4QIndpKIZ3YHlbPeFDlk8g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1691777192; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=mNUARk5lu/vxKwRx8QzmJ36cMqXr09tklbJ2TTP91VM=; b=jVmmYyTYSzcc+ejAbbamzNFiLavokaMSI+4cISWneKKHZz9W53gmtMH0cqciaKC6ihS5+F fjPGvwDSIL2Lc8HGlwKMsUt06M9NEiDYSNHJ/qRe1L+hY4i/zAMnuEAAwcy70HtI50tISs S4v/d96+uvBWNjK0lbIRhHbrioaI7QTl/5A8i64gn/WpVyp0MmZU1glU0EV5UXFz3E+pPm 3OaESke79wvxXsHtWvF1W/0xXHp0TnWEZxfM2wNTAw8n9W26OFG4/WOXbOpqjeJsHc7PT8 ziFyuSw/KLIVyulHagDRWkf2wacebt51E0qvvcSaPz4Aql/gQet+fjQnnovGpQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1691777192; a=rsa-sha256; cv=none; b=Bvxuu8qtcfyDu6L16DfFmKtI+P2zsabWwnz3MNGVCej1UGZe0CdKpPAMO0FHR/7LhZJlFn AfA15cwRx/EqV1RoeylRarnHCLr18BaIxM/g+yNznSWOVipogO6l4aezLs/49YKB+bcD/V j2EMWwoFUJfoa3JBDAZh1A6NxJg9JZwL6XP8AbpgU98xRri4tS8HyS2xfugNLytDgczB2/ 1pIzsQXzaIdDBx/FmXEf37b4oOyI1ireJ/ZMPfsyirBj6bgIGeljY9Biq8Y8HAjMbq610C Guva1RK1aWHVVXtN6h9QaOzGISj5e1LEtdY7i/6/Z47pHxqeeQepjSnAr2dLPQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4RMsDm1T96zpWZ; Fri, 11 Aug 2023 18:06:32 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 37BI6W7W090314; Fri, 11 Aug 2023 18:06:32 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 37BI6W13090311; Fri, 11 Aug 2023 18:06:32 GMT (envelope-from git) Date: Fri, 11 Aug 2023 18:06:32 GMT Message-Id: <202308111806.37BI6W13090311@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 617da838ad2b - main - math/gecode: Update to the latest 6.3.0 revision List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 617da838ad2b86259dbd72dacd62d5ccc89016ac Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=617da838ad2b86259dbd72dacd62d5ccc89016ac commit 617da838ad2b86259dbd72dacd62d5ccc89016ac Author: Yuri Victorovich AuthorDate: 2023-08-11 14:52:24 +0000 Commit: Yuri Victorovich CommitDate: 2023-08-11 14:52:24 +0000 math/gecode: Update to the latest 6.3.0 revision 6.3.0 isn't yet released but is reeady for a long time. --- math/gecode/Makefile | 4 ++-- math/gecode/distinfo | 6 +++--- math/gecode/pkg-plist | 3 +++ 3 files changed, 8 insertions(+), 5 deletions(-) diff --git a/math/gecode/Makefile b/math/gecode/Makefile index 5b2c780ecee3..f0cea16cb2dc 100644 --- a/math/gecode/Makefile +++ b/math/gecode/Makefile @@ -1,7 +1,7 @@ PORTNAME= gecode DISTVERSIONPREFIX= release- DISTVERSION= 6.3.0 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -23,7 +23,7 @@ CONFIGURE_ARGS= --disable-examples USE_GITHUB= yes GH_ACCOUNT= Gecode -GH_TAGNAME= 6b09bea # 6.3.0 branch is ready for a long time, but hasn't been tagged yet +GH_TAGNAME= fc22c40 # 6.3.0 branch is ready for a long time, but hasn't been tagged yet DATADIR= ${PREFIX}/share/minizinc/gecode # it only installs the MiniZinc library into DATADIR diff --git a/math/gecode/distinfo b/math/gecode/distinfo index 9992e505651c..6e4db326da9a 100644 --- a/math/gecode/distinfo +++ b/math/gecode/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1645549139 -SHA256 (Gecode-gecode-release-6.3.0-6b09bea_GH0.tar.gz) = 9cbbc937745042749770cbf514d475287e1e5248747af73f430365fbd593efa3 -SIZE (Gecode-gecode-release-6.3.0-6b09bea_GH0.tar.gz) = 5730870 +TIMESTAMP = 1691773520 +SHA256 (Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz) = dc7cfc83a9de32a6b3b8f9dc965ad9914ad7c8643ba6925031cbad574062fb15 +SIZE (Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz) = 5741716 diff --git a/math/gecode/pkg-plist b/math/gecode/pkg-plist index 93994bd738c5..6730fbc9a911 100644 --- a/math/gecode/pkg-plist +++ b/math/gecode/pkg-plist @@ -9,7 +9,9 @@ include/gecode/flatzinc.hh include/gecode/flatzinc/ast.hh include/gecode/flatzinc/branch.hh include/gecode/flatzinc/branch.hpp +include/gecode/flatzinc/complete.hh include/gecode/flatzinc/conexpr.hh +include/gecode/flatzinc/lastval.hh include/gecode/flatzinc/option.hh include/gecode/flatzinc/parser.hh %%FLATZINC%%include/gecode/flatzinc/parser.tab.hpp @@ -798,6 +800,7 @@ include/gecode/third-party/boost/type.hpp %%FLATZINC%%%%DATADIR%%/gecode.mzn %%FLATZINC%%%%DATADIR%%/redefinitions-2.0.2.mzn %%FLATZINC%%%%DATADIR%%/redefinitions-2.0.mzn +%%FLATZINC%%%%DATADIR%%/redefinitions-2.2.1.mzn %%FLATZINC%%%%DATADIR%%/redefinitions-2.5.2.mzn %%FLATZINC%%%%DATADIR%%/redefinitions.mzn %%FLATZINC%%share/minizinc/solvers/gecode.msc