From nobody Mon Mar 20 08:29:10 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 4Pg7F258CXz40Q8r; Mon, 20 Mar 2023 08:29:10 +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 4Pg7F24h28z47Wk; Mon, 20 Mar 2023 08:29:10 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1679300950; 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=YDNLoRjkplSUmuNTAbZc05ZMzWMh9Ayz6XzODtgw8x0=; b=Q19j33gCPm8KAa8HwrTfu3Vty3IHGFaGDolNXxwgVh5EiFQMyEXKvRBDVH43DlP2WwSFQS nzaN2rKsns58yWDOtzix+XNalG4xeJoOuID9pqnE9b96TBEmUVIbZ9AsvUBCj7gUKg2jBx lmCConjA8+7hXH1Gu3N5RUIfQcr+tTDQRLJu3qmJaMMhg+n86aIS7zHEedvLuCnRNesZGP HXyUSjOxwoQb0Pv8IYgMvChXo7DRhDsO6GMymgUmaHPVVDTCF/aHp327l6rJ7C/hXWrvLU U5T/X77pHFDbTRf5OC5ljKuU6VU/eVrNlGZ050qXSvbEDENHiThOALKqb5BXOg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1679300950; 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=YDNLoRjkplSUmuNTAbZc05ZMzWMh9Ayz6XzODtgw8x0=; b=hTATVhcwK2LFbXIfzp/5J9ih1pFVrJs2HtJ9oeD+O2EYU3VQMvbvg0FmEgYey9VmbWXTSP 8zSoDSl6eL1egqi72M77pMLriEjlS2d5hFZTXTdvQ26ZSW69rSzrp20oePt8aTwiK5Sjng l+8VjJqk3RUMx+Bhvn6w3XdDHmLdfac7fnUN0mfowg7VZIA32sohcZol+ry+5V9xlu5CUI ACBsPBTA0X0759tdvpyM82PpycDs7jGvCuHZA+qrfL9nYVsZ7Z6lFza7GRdsaTBsKHMkZU 2yKQqcdgkSkfOwucgfNFdd9uJ8Vtlj725eN52o0OiwOtHZVKk1jhaagJyG5Xiw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1679300950; a=rsa-sha256; cv=none; b=Ly8pstwtXorN/fci9kxHDt2HEZF/cGSBxryNnw6H0IDm02O5KSSDQzC+ClmmfBQcbcVNsh htbQyR5QucBy6eM5nkrzMMKhzqBqeVx7jC0vqeFT4Qk/7bf2Kj9gQt2YIxbszmhVRIzV5/ LHWRFfZp9FSjZpFKP5B2mmTzfD/022p9Mh4vnJGz+aY1JSOxyy3gyQFSUoZuwiG4tnnx5P iDAJ8JWWKGPidWNcjTAOXVpEzH5/DcR6srMdHrPHC4gWQxj0wywWGhU9AmvJ6vjPByQPWA Wi11TO17gYaDq0yYX9UW0B+RVXU5Low+YEeOhGmRzNCLdT/zQtvVBHvVmrgEBA== 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 4Pg7F23nKxzNWN; Mon, 20 Mar 2023 08:29:10 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 32K8TABc064783; Mon, 20 Mar 2023 08:29:10 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 32K8TAVQ064782; Mon, 20 Mar 2023 08:29:10 GMT (envelope-from git) Date: Mon, 20 Mar 2023 08:29:10 GMT Message-Id: <202303200829.32K8TAVQ064782@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: 4601ba415d3d - main - =?utf-8?Q?math/{,py-}clingo:=20Update=205.6.1=20=E2=86=92=205.6.2?= 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: 4601ba415d3d25ddbf4dffb9eac76efdc1a1674b Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=4601ba415d3d25ddbf4dffb9eac76efdc1a1674b commit 4601ba415d3d25ddbf4dffb9eac76efdc1a1674b Author: Yuri Victorovich AuthorDate: 2023-03-20 07:07:27 +0000 Commit: Yuri Victorovich CommitDate: 2023-03-20 08:29:04 +0000 math/{,py-}clingo: Update 5.6.1 → 5.6.2 Reported by: portscout --- math/clingo/Makefile | 7 ++++--- math/clingo/distinfo | 10 +++++----- math/py-clingo/Makefile | 2 +- math/py-clingo/distinfo | 6 +++--- 4 files changed, 13 insertions(+), 12 deletions(-) diff --git a/math/clingo/Makefile b/math/clingo/Makefile index 2f025e1d983b..9d34fcac2ffe 100644 --- a/math/clingo/Makefile +++ b/math/clingo/Makefile @@ -1,6 +1,6 @@ PORTNAME= clingo DISTVERSIONPREFIX= v -DISTVERSION= 5.6.1 +DISTVERSION= 5.6.2 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -12,13 +12,13 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.md BUILD_DEPENDS= re2c:devel/re2c -USES= cmake:testing compiler:c++14-lang +USES= cmake:testing compiler:c++14-lang python:test USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= potassco GH_TUPLE= potassco:clasp:4c708a7:potassco_clasp/clasp \ - catchorg:Catch2:62fd660:catch/third_party/catch \ + catchorg:Catch2:97313f9:catch/third_party/catch \ mpark:variant:23cb94f:variant/third_party/variant \ TartanLlama:optional:c28fcf7:optional/third_party/optional \ Tessil:hopscotch-map:4442316:hopscotch_map/third_party/hopscotch-map \ @@ -27,6 +27,7 @@ GH_TUPLE= potassco:clasp:4c708a7:potassco_clasp/clasp \ CMAKE_OFF= CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178 CMAKE_OFF+= CLINGO_BUILD_WITH_LUA +CMAKE_ARGS= -DPython_EXECUTABLE=${PYTHON_CMD} CMAKE_TESTING_ON= CLINGO_BUILD_TESTS CONFLICTS_INSTALL= clasp # only installs bin/clasp that is included in clingo diff --git a/math/clingo/distinfo b/math/clingo/distinfo index 2dd8d0b82057..27319d26d0f9 100644 --- a/math/clingo/distinfo +++ b/math/clingo/distinfo @@ -1,10 +1,10 @@ -TIMESTAMP = 1663473974 -SHA256 (potassco-clingo-v5.6.1_GH0.tar.gz) = fd94a8eadb0051abd0b7176e228404eeb93e0ad70307913a608aa4aa978fabec -SIZE (potassco-clingo-v5.6.1_GH0.tar.gz) = 3736873 +TIMESTAMP = 1679293637 +SHA256 (potassco-clingo-v5.6.2_GH0.tar.gz) = 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be +SIZE (potassco-clingo-v5.6.2_GH0.tar.gz) = 5079018 SHA256 (potassco-clasp-4c708a7_GH0.tar.gz) = 9dc6d49b017b970fbee62296bde2eed2b9e02b9d025458548f7fbf740c427968 SIZE (potassco-clasp-4c708a7_GH0.tar.gz) = 677863 -SHA256 (catchorg-Catch2-62fd660_GH0.tar.gz) = 6ffb927225dcae98bcb3f1af908f2cc5cd9a71cfdb29f7a3995aad1fd8336840 -SIZE (catchorg-Catch2-62fd660_GH0.tar.gz) = 661905 +SHA256 (catchorg-Catch2-97313f9_GH0.tar.gz) = 17678ecd174c70d77111d8dab966db168baa6362ee1e89910a51254e424f40c8 +SIZE (catchorg-Catch2-97313f9_GH0.tar.gz) = 1035855 SHA256 (mpark-variant-23cb94f_GH0.tar.gz) = e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f SIZE (mpark-variant-23cb94f_GH0.tar.gz) = 33918 SHA256 (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 6f9fdc78582d34bf50d7bb9379de3d5185a5dd93be664e0c01e9d54fcbe0872d diff --git a/math/py-clingo/Makefile b/math/py-clingo/Makefile index e4bc8a7519d8..73b42198358d 100644 --- a/math/py-clingo/Makefile +++ b/math/py-clingo/Makefile @@ -1,5 +1,5 @@ PORTNAME= clingo -DISTVERSION= 5.6.1 +DISTVERSION= 5.6.2 CATEGORIES= math python MASTER_SITES= PYPI PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-clingo/distinfo b/math/py-clingo/distinfo index 56cad3d72399..92770e529427 100644 --- a/math/py-clingo/distinfo +++ b/math/py-clingo/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1663474598 -SHA256 (clingo-5.6.1.tar.gz) = facdce78bcb30ae161a44e5dfbd811b769c1245ae7a1aaebb15ef90322753c3b -SIZE (clingo-5.6.1.tar.gz) = 1805178 +TIMESTAMP = 1679294753 +SHA256 (clingo-5.6.2.tar.gz) = 7750f6e47bf2e725f93555cc9acd3b10d2ab73c2a3868e9eb6a098df9a6dd755 +SIZE (clingo-5.6.2.tar.gz) = 1807345