From nobody Tue Sep 5 10:41:57 2023 X-Original-To: dev-commits-ports-all@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 4Rg2BF5LPdz4s0LL; Tue, 5 Sep 2023 10:41:57 +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 4Rg2BF4rC0z4MX2; Tue, 5 Sep 2023 10:41:57 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1693910517; 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=68ZYzcHCIwSkYkObbG5P8CBrT4NhhOaO1vMDZzzJWME=; b=K+h0cIe0VG84fnUnaVXm7BsNzs0Zdu0uRzxaw/S8FZ5YJNj+RWiIFvU/F0NQeP2qzFClvM lEslJFkJCDusjNbrUvAlO68tlEcb+WYY2Hwc3RItVdj2a8TpUP9b1wNJkC+nD5hOMAw9qg tlZFmqH6k9MzmnDr60Jfxrc+dOAT8FY7Rn9BcN0iCtHQoxFksHNdWiuFWEUzQo1jfMMsrt 9ORYCC7dwMhNTXU7grr/3sCx1d3Kay/3hRjxKDvlpmumLeDmihnzOZt5nw+xCvSpGWzCxW tKQVUnQ/7bIkttF66Id5pa63l84V9SgaOvR3/oTqiW9/JJYATwkKmmwFAcjMmw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1693910517; a=rsa-sha256; cv=none; b=xyH7bTUym+F6JPxNz68paMqohIKC1Y8guR42ZtGZDPec/i9wVjgYCm4Yg2kTx1V5DxMtZP 4W4WZVPCrhrvoOfOOxtvCcw1iS/hJp4CMyL7wzOxOw0EM017eVQ3qhJmTghYBMcwXSveue ELMpMMH0YHSCyJEvJQOzKnJTtqjO0nogyooJewe1eQtI4kdPyncdV6aSWZjYoQ95nJu7o0 1lmnyrXsJvY7Xnnnq7NOOrZjTTJOcrzhT/g1Ti7qU7BJPHFDY+xLlovpOoYKrrMijQ98Al eHp3A03kB5oZGT/5slnPOmFEyw0h7KZEmJxDb6XJdDWzjBB7NcX46R21gFM0Hg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1693910517; 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=68ZYzcHCIwSkYkObbG5P8CBrT4NhhOaO1vMDZzzJWME=; b=HFNMdtGo8M7w17PZyiM9Fbw0emG5SJHOmz+IR6xknUXchCA50M1gQcRGFEnELvUylx+gpO Tpt/NJ6snUO5A+xyMIOZdtxRfsDhNGsSx4VSICx/W5HznQI9PoHsR3eOG3giatLHcGb29i euAVC2vNu34GwWOSfEkyvIlIxNW77S1XHGRZaIL5KTsz5tjoJtF8yGVqT6xUrkdbrjldI+ OrxXeZaX1OaCYzFTfq3JpPuwUu/F0XKYr5OUsgul+h3leOftx1Jfl+Vw1UqtS8r2QdYNVe wswOeLdm5WviSg42a/uyRFA/ChuD+XeFuqv1jfdHPPlyI+og0EPFNBWW0HS95g== 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 4Rg2BF3vqszWCy; Tue, 5 Sep 2023 10:41:57 +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 385AfvGb010052; Tue, 5 Sep 2023 10:41:57 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 385AfvBm010049; Tue, 5 Sep 2023 10:41:57 GMT (envelope-from git) Date: Tue, 5 Sep 2023 10:41:57 GMT Message-Id: <202309051041.385AfvBm010049@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Vsevolod Stakhov Subject: git: edf8c43fb1c2 - main - math/clasp: Update to 3.3.9 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: vsevolod X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: edf8c43fb1c22cae1de84baa0d2c841f7331b96c Auto-Submitted: auto-generated The branch main has been updated by vsevolod: URL: https://cgit.FreeBSD.org/ports/commit/?id=edf8c43fb1c22cae1de84baa0d2c841f7331b96c commit edf8c43fb1c22cae1de84baa0d2c841f7331b96c Author: Vsevolod Stakhov AuthorDate: 2023-09-05 10:34:18 +0000 Commit: Vsevolod Stakhov CommitDate: 2023-09-05 10:41:53 +0000 math/clasp: Update to 3.3.9 Changes: https://github.com/potassco/clasp/releases/tag/v3.3.9 --- math/clasp/Makefile | 7 +++---- math/clasp/distinfo | 10 +++++----- 2 files changed, 8 insertions(+), 9 deletions(-) diff --git a/math/clasp/Makefile b/math/clasp/Makefile index f6730cae67b5..addfcf21fa4f 100644 --- a/math/clasp/Makefile +++ b/math/clasp/Makefile @@ -1,11 +1,11 @@ PORTNAME= clasp -PORTVERSION= 3.3.5 +PORTVERSION= 3.3.9 DISTVERSIONPREFIX= v CATEGORIES= math devel MAINTAINER= vsevolod@FreeBSD.org COMMENT= Answer set solver for (extended) normal logic programs -WWW= http://potassco.sourceforge.net/ +WWW= https://potassco.org/clasp/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE @@ -16,8 +16,7 @@ USES= compiler:c++11-lang cmake USE_GITHUB= yes GH_ACCOUNT= potassco -GH_PROJECT= ${PORTNAME} -GH_TUPLE= potassco:libpotassco:6e31cff:other/libpotassco +GH_TUPLE= potassco:libpotassco:fa39da4:other/libpotassco PLIST_FILES= bin/${PORTNAME} diff --git a/math/clasp/distinfo b/math/clasp/distinfo index 9b4155404426..947fe737e9c7 100644 --- a/math/clasp/distinfo +++ b/math/clasp/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1592574784 -SHA256 (potassco-clasp-v3.3.5_GH0.tar.gz) = faae82371f0e590225171217bfaa010e4712ca4edf42d6cbc5268460705af70e -SIZE (potassco-clasp-v3.3.5_GH0.tar.gz) = 621349 -SHA256 (potassco-libpotassco-6e31cff_GH0.tar.gz) = 3f98761b7d5d141532130d391e2a19b6d4283341660f9572adb61bd2c3bbb56f -SIZE (potassco-libpotassco-6e31cff_GH0.tar.gz) = 210065 +TIMESTAMP = 1693909958 +SHA256 (potassco-clasp-v3.3.9_GH0.tar.gz) = 858bb4850814a89e30711abea23985646fab56c8e43663a30b2255bb3d863948 +SIZE (potassco-clasp-v3.3.9_GH0.tar.gz) = 677796 +SHA256 (potassco-libpotassco-fa39da4_GH0.tar.gz) = a46dec9da76bc6af85060e47814b9c85cd80914fe3795e9c269608cb739289f3 +SIZE (potassco-libpotassco-fa39da4_GH0.tar.gz) = 259662