From nobody Sat May 25 04:12:20 2024 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 4VmT5K2DmTz5M3vt; Sat, 25 May 2024 04:12:21 +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 4VmT5K0rsZz4CQX; Sat, 25 May 2024 04:12:21 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1716610341; 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=BR0FzOKNqksLluJ5a0RNSFV5LtDRRe/YaQH/+5W2BtE=; b=bETystWVeMOba34nNImgVW/MX9oAw5BNeuD5dPYcEDXD/1aymKOLK1lob5+VJ75E0MEjeM 0E9zvzDKibTRJtxWMEAEbyHYG/jDXVZWgOYXHD+OJh8ObT6PRw+czRYxsYjZBP3L9AdLKB VS0eL4ahz0f1LkfEQ50Cqc5G7GTFOUqM27SSIs5gY+JmBh1wd2Q3Ms5JQBOScjPJ2w+OEn zkvV5roClvDTKDB8oYTDqtB0kYBf9lRY1GZ/WLUROEopwzFbm32WVrfv5fCJL2CQIrFfjo IVPuwgCGesLB61M16laBSVPjiOpNuRFV5J4IPOCal7fID3zAirM0HFkHfsujgg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1716610341; a=rsa-sha256; cv=none; b=gpWBLioGFKaZfV/ueNXWCGQgQ4xTwHKbs4j8gEpoaNoYQEslfLwpM3AkWFMF5oBwho5ONR wnUA0ODiK2Q8Nm9m1fFh8Zp97PSuHFNp+78myRobAvH09X8l7M/XUvv83BXnszFGOPXdqL WbnCMyI8SNCLJONeN4vci561iU/tJFQaHPi5L07gLsnab/Jm4Eil7NR06hl13ckTdaCnk2 dep7quIZ13VD6cahCnkwm8/6Q1gn6MW8WhEEOkmjVOaNA7f9QVDana95LWl9wya/F+2m9X fAUdch6fnqPwha3gmqhdfZZeQ3iMRzrTdd0pPKO8yMDE3we3fLOkQKsLBN/74A== 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=1716610341; 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=BR0FzOKNqksLluJ5a0RNSFV5LtDRRe/YaQH/+5W2BtE=; b=d0u2up7qY6wWcospjBTG7W5gh7/89rLGzDBRAI7gAjUKnewQgf82mAVt5hEbYtg5ZQBU/U 5fqKR3DSrVx4dtsZ5YlIGKWE9nfHBhzDa9GBb+F4m6Th7IJqCoLeQEIUFuAphOMp3hJQhP hLZpj3pX+iokMcWxp6AiCtAyaIfK5mizK74XNw+JRx4ZJS2cyUZRZ8dj9hHIePTA//dy78 Xuzq47uAxZAgPvx/QM7ZjNLZTcWDW48yBHS0DjEgKSw7vY0n24o+JxY0gObbr8wxyvlLuP 7bakdk4ctPqFUZ5TCrq/7OohoTvA3QtJwysc7GYkojbBJX18EWFgkB+P8zKORw== 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 4VmT5K0BB1z11sV; Sat, 25 May 2024 04:12:21 +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 44P4CKiS092292; Sat, 25 May 2024 04:12:20 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 44P4CKVd092289; Sat, 25 May 2024 04:12:20 GMT (envelope-from git) Date: Sat, 25 May 2024 04:12:20 GMT Message-Id: <202405250412.44P4CKVd092289@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: 838457649a8c - main - math/{,py-}spot: update 2.11.6 =?utf-8?Q?=E2=86=92?= 2.12 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: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-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: 838457649a8c1c146b3c5625f4e068b7040e7105 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=838457649a8c1c146b3c5625f4e068b7040e7105 commit 838457649a8c1c146b3c5625f4e068b7040e7105 Author: Yuri Victorovich AuthorDate: 2024-05-25 04:00:09 +0000 Commit: Yuri Victorovich CommitDate: 2024-05-25 04:12:10 +0000 math/{,py-}spot: update 2.11.6 → 2.12 Reported by: portscout --- math/py-spot/Makefile | 2 +- math/py-spot/distinfo | 6 +++--- math/spot/Makefile | 3 +-- math/spot/distinfo | 6 +++--- math/spot/pkg-plist | 1 + 5 files changed, 9 insertions(+), 9 deletions(-) diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile index 48111f090c14..987e21d0ee3c 100644 --- a/math/py-spot/Makefile +++ b/math/py-spot/Makefile @@ -1,5 +1,5 @@ PORTNAME= spot -DISTVERSION= 2.11.6 +DISTVERSION= 2.12 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-spot/distinfo b/math/py-spot/distinfo index cc758068ef36..55d90f9c52bc 100644 --- a/math/py-spot/distinfo +++ b/math/py-spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1690958519 -SHA256 (spot-2.11.6.tar.gz) = a692794f89c0db3956ba5919bdd5313e372e0de34000a9022f29e1c6e91c538a -SIZE (spot-2.11.6.tar.gz) = 7573694 +TIMESTAMP = 1716606749 +SHA256 (spot-2.12.tar.gz) = 26ba076ad57ec73d2fae5482d53e16da95c47822707647e784d8c7cec0d10455 +SIZE (spot-2.12.tar.gz) = 7835588 diff --git a/math/spot/Makefile b/math/spot/Makefile index 125b70e4bffe..31661da9da7a 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,6 +1,5 @@ PORTNAME= spot -DISTVERSION= 2.11.6 -PORTREVISION= 1 +DISTVERSION= 2.12 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ diff --git a/math/spot/distinfo b/math/spot/distinfo index 5de7ac269b52..dd6d418690af 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1690957361 -SHA256 (spot-2.11.6.tar.gz) = a692794f89c0db3956ba5919bdd5313e372e0de34000a9022f29e1c6e91c538a -SIZE (spot-2.11.6.tar.gz) = 7573694 +TIMESTAMP = 1716602875 +SHA256 (spot-2.12.tar.gz) = 26ba076ad57ec73d2fae5482d53e16da95c47822707647e784d8c7cec0d10455 +SIZE (spot-2.12.tar.gz) = 7835588 diff --git a/math/spot/pkg-plist b/math/spot/pkg-plist index a9dc13b1db52..c24282322653 100644 --- a/math/spot/pkg-plist +++ b/math/spot/pkg-plist @@ -139,6 +139,7 @@ include/spot/twaalgos/dtwasat.hh include/spot/twaalgos/dualize.hh include/spot/twaalgos/emptiness.hh include/spot/twaalgos/emptiness_stats.hh +include/spot/twaalgos/forq_contains.hh include/spot/twaalgos/game.hh include/spot/twaalgos/genem.hh include/spot/twaalgos/gfguarantee.hh