From nobody Wed Nov 12 16:55:50 2025 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 4d68ft2lrkz6GH7X; Wed, 12 Nov 2025 16:55:50 +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 "R12" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4d68ft13jfz3Qhg; Wed, 12 Nov 2025 16:55:50 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1762966550; 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=zCBlkc/7MY+9kMpq7ZAmFNpa7Z0zgHh8yrBDITxOUHU=; b=qX18+C18MfHu/04GbBrQEbR4sBT1wTWQ3gkWpd46bsV5OHt2czAVyIy1yx/OUMgfiQ6ANO fKdYA+dM+pzJkm4ChQJP2NrgaqIR024oWDKf4zG/dMkgheb+UFsVQHqv8Y0gAxPnvU1zl0 1cjvnuK3uSKBW8pi7GzT+4Nz158Sw1g9y8rkjKseJamRD2WP9PJoiRcvJZR8ikYwLWlpA6 achV3alEApf2sVSh4+CxvWcoqtb8hTkK+OfnJEEW2VNiEa6x/xuqzTnbpAMuxNqV3qgItF cqdsQD9w/h8JlE5V2AE8zTcpKT8CJZb59wRDz+s/EVXDNtKylYtoNfopmcJ75g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1762966550; 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=zCBlkc/7MY+9kMpq7ZAmFNpa7Z0zgHh8yrBDITxOUHU=; b=OLr8aQbL/dINBpEUgQeTgYEhKsyCALGx9Hyh5lOqC72Bdj8ZmX4qZZhcH6Yrb/OrRFnhHv mSkTZYaPwCrNDO+uR2oqBiScmCfd8E8BOInSHKJ1YgtyFDVy/7SruXAY8rmovJ9Po6w/R3 QooHDF/LB0xfqWS/ZHHl+/2eDZ87NLEXTjipItdWc3ZYGuTWWJDboI588JcsLIGotaQg1D QCXgpL+K/MsY0F3hjX1nfME3HvzEDRWhY6RqZzhjKNTmHeCkJ6yzLTESgZnHQT5gYsaTWW ZMigLR3I0vVnfXGvfxTDhVrt/xQweaEgf3CfGwNbjfq/w850vr64mSCvqAPC3g== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1762966550; a=rsa-sha256; cv=none; b=L+rXpaImx8gDnMxEkHcA+goJntiQhZfcdAM4lJr+FMRBOqdESzHQkOH8AAZ9bRCc+he3rg uUom2osxkFZwLW76+wSvNIxrR5i8XLLXZVEqu5JYQevjntAjTK+7D4dnDcj7/2uy/wbgam K+hzP4b1Pm5pTCzDRYcazajgSrh8totghFsqWtYIfmGOBs+yEzBoaIWJVV6VjRtmN74iaR p2Kizn1a+NYFRzMgDtnFdgq9vcsa6AVFx4EBcdJ3u/Z8FU/WHxhEquFApcPAGDDNJMmySA H3f5LGezBxlSritfAbR9rxRX88TRjRNlCtvGSDBljZsEC8g/FLu63f81LiHlXA== 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 4d68ft0WCwzkGv; Wed, 12 Nov 2025 16:55:50 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 5ACGtobl089670; Wed, 12 Nov 2025 16:55:50 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 5ACGtouZ089667; Wed, 12 Nov 2025 16:55:50 GMT (envelope-from git) Date: Wed, 12 Nov 2025 16:55:50 GMT Message-Id: <202511121655.5ACGtouZ089667@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: 1ccfdde4159a - main - =?utf-8?Q?math/{,py-}spot: update 2.12.1 =E2=86=92 2.14.3?= 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: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@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: 1ccfdde4159a9e8aaa069944f3a357b75417b7b9 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=1ccfdde4159a9e8aaa069944f3a357b75417b7b9 commit 1ccfdde4159a9e8aaa069944f3a357b75417b7b9 Author: Yuri Victorovich AuthorDate: 2025-11-12 16:54:50 +0000 Commit: Yuri Victorovich CommitDate: 2025-11-12 16:55:45 +0000 math/{,py-}spot: update 2.12.1 → 2.14.3 --- math/py-spot/Makefile | 2 +- math/py-spot/distinfo | 6 +++--- math/py-spot/pkg-plist | 35 +++++++++++++++++++++-------------- math/spot/Makefile | 2 +- math/spot/distinfo | 6 +++--- math/spot/pkg-plist | 16 ++++++++++++++++ 6 files changed, 45 insertions(+), 22 deletions(-) diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile index 7c46bda7d266..18851b8db7f6 100644 --- a/math/py-spot/Makefile +++ b/math/py-spot/Makefile @@ -1,5 +1,5 @@ PORTNAME= spot -DISTVERSION= 2.12.1 +DISTVERSION= 2.14.3 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 6eb4380cb70c..30e63d6b0c24 100644 --- a/math/py-spot/distinfo +++ b/math/py-spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1727154374 -SHA256 (spot-2.12.1.tar.gz) = 5477c08d4e1d062f164c2e486a83556925d07d70f2180de706af7aa949c6ff5c -SIZE (spot-2.12.1.tar.gz) = 7836653 +TIMESTAMP = 1762966144 +SHA256 (spot-2.14.3.tar.gz) = a0cc89fa716c35a3d7f3272fdbb028841560e671b9958c053870292daf88dd21 +SIZE (spot-2.14.3.tar.gz) = 8585774 diff --git a/math/py-spot/pkg-plist b/math/py-spot/pkg-plist index b6641ea20881..7f1be8eb1a38 100644 --- a/math/py-spot/pkg-plist +++ b/math/py-spot/pkg-plist @@ -1,20 +1,27 @@ -%%PYTHON_SITELIBDIR%%/__pycache__/buddy.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc -%%PYTHON_SITELIBDIR%%/__pycache__/buddy.cpython-%%PYTHON_SUFFIX%%.pyc +%%PYTHON_SITELIBDIR%%/__pycache__/buddy%%PYTHON_TAG%%.opt-1.pyc +%%PYTHON_SITELIBDIR%%/__pycache__/buddy%%PYTHON_TAG%%.opt-2.pyc +%%PYTHON_SITELIBDIR%%/__pycache__/buddy%%PYTHON_TAG%%.pyc %%PYTHON_SITELIBDIR%%/_buddy%%PYTHON_TAG%%.so %%PYTHON_SITELIBDIR%%/buddy.py %%PYTHON_SITELIBDIR%%/spot/__init__.py -%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.cpython-%%PYTHON_SUFFIX%%.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_.cpython-%%PYTHON_SUFFIX%%.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.cpython-%%PYTHON_SUFFIX%%.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.cpython-%%PYTHON_SUFFIX%%.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.cpython-%%PYTHON_SUFFIX%%.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc -%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.cpython-%%PYTHON_SUFFIX%%.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__%%PYTHON_TAG%%.opt-1.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__%%PYTHON_TAG%%.opt-2.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__%%PYTHON_TAG%%.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_%%PYTHON_TAG%%.opt-1.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_%%PYTHON_TAG%%.opt-2.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_%%PYTHON_TAG%%.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen%%PYTHON_TAG%%.opt-1.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen%%PYTHON_TAG%%.opt-2.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen%%PYTHON_TAG%%.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl%%PYTHON_TAG%%.opt-1.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl%%PYTHON_TAG%%.opt-2.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl%%PYTHON_TAG%%.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter%%PYTHON_TAG%%.opt-1.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter%%PYTHON_TAG%%.opt-2.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter%%PYTHON_TAG%%.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin%%PYTHON_TAG%%.opt-1.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin%%PYTHON_TAG%%.opt-2.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin%%PYTHON_TAG%%.pyc %%PYTHON_SITELIBDIR%%/spot/_gen%%PYTHON_TAG%%.so %%PYTHON_SITELIBDIR%%/spot/_impl%%PYTHON_TAG%%.so %%PYTHON_SITELIBDIR%%/spot/_ltsmin%%PYTHON_TAG%%.so diff --git a/math/spot/Makefile b/math/spot/Makefile index 889bdb809ff9..0c4ff64e6054 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,5 +1,5 @@ PORTNAME= spot -DISTVERSION= 2.12.1 +DISTVERSION= 2.14.3 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ diff --git a/math/spot/distinfo b/math/spot/distinfo index afb72a05edd8..db2078ef6232 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1727153750 -SHA256 (spot-2.12.1.tar.gz) = 5477c08d4e1d062f164c2e486a83556925d07d70f2180de706af7aa949c6ff5c -SIZE (spot-2.12.1.tar.gz) = 7836653 +TIMESTAMP = 1762965183 +SHA256 (spot-2.14.3.tar.gz) = a0cc89fa716c35a3d7f3272fdbb028841560e671b9958c053870292daf88dd21 +SIZE (spot-2.14.3.tar.gz) = 8585774 diff --git a/math/spot/pkg-plist b/math/spot/pkg-plist index c24282322653..257af036777a 100644 --- a/math/spot/pkg-plist +++ b/math/spot/pkg-plist @@ -7,8 +7,11 @@ bin/ltl2tgba bin/ltl2tgta bin/ltlcross bin/ltldo +bin/ltlf2dfa bin/ltlfilt +bin/ltlfsynt bin/ltlgrind +bin/ltlmix bin/ltlsynt bin/randaut bin/randltl @@ -23,6 +26,7 @@ include/spot/bricks/brick-shmem include/spot/bricks/brick-types include/spot/gen/automata.hh include/spot/gen/formulas.hh +include/spot/graph/adjlist.hh include/spot/graph/graph.hh include/spot/graph/ngraph.hh include/spot/kripke/fairkripke.hh @@ -64,6 +68,7 @@ include/spot/misc/memusage.hh include/spot/misc/minato.hh include/spot/misc/mspool.hh include/spot/misc/optionmap.hh +include/spot/misc/permute.hh include/spot/misc/position.hh include/spot/misc/random.hh include/spot/misc/satsolver.hh @@ -89,6 +94,7 @@ include/spot/tl/apcollect.hh include/spot/tl/contain.hh include/spot/tl/declenv.hh include/spot/tl/defaultenv.hh +include/spot/tl/delta2.hh include/spot/tl/dot.hh include/spot/tl/environment.hh include/spot/tl/exclusive.hh @@ -119,6 +125,7 @@ include/spot/twa/twaproduct.hh include/spot/twaalgos/aiger.hh include/spot/twaalgos/alternation.hh include/spot/twaalgos/are_isomorphic.hh +include/spot/twaalgos/backprop.hh include/spot/twaalgos/bfssteps.hh include/spot/twaalgos/canonicalize.hh include/spot/twaalgos/cleanacc.hh @@ -131,6 +138,7 @@ include/spot/twaalgos/copy.hh include/spot/twaalgos/couvreurnew.hh include/spot/twaalgos/cycles.hh include/spot/twaalgos/dbranch.hh +include/spot/twaalgos/deadends.hh include/spot/twaalgos/degen.hh include/spot/twaalgos/determinize.hh include/spot/twaalgos/dot.hh @@ -143,6 +151,7 @@ include/spot/twaalgos/forq_contains.hh include/spot/twaalgos/game.hh include/spot/twaalgos/genem.hh include/spot/twaalgos/gfguarantee.hh +include/spot/twaalgos/given.hh include/spot/twaalgos/gtec/ce.hh include/spot/twaalgos/gtec/gtec.hh include/spot/twaalgos/gtec/sccstack.hh @@ -157,10 +166,14 @@ include/spot/twaalgos/langmap.hh include/spot/twaalgos/lbtt.hh include/spot/twaalgos/ltl2taa.hh include/spot/twaalgos/ltl2tgba_fm.hh +include/spot/twaalgos/ltlf2dfa.hh include/spot/twaalgos/magic.hh include/spot/twaalgos/mask.hh +include/spot/twaalgos/matchstates.hh +include/spot/twaalgos/mcs.hh include/spot/twaalgos/mealy_machine.hh include/spot/twaalgos/minimize.hh +include/spot/twaalgos/mtdtwa.hh include/spot/twaalgos/neverclaim.hh include/spot/twaalgos/parity.hh include/spot/twaalgos/postproc.hh @@ -222,8 +235,11 @@ share/man/man1/ltl2tgba.1.gz share/man/man1/ltl2tgta.1.gz share/man/man1/ltlcross.1.gz share/man/man1/ltldo.1.gz +share/man/man1/ltlf2dfa.1.gz share/man/man1/ltlfilt.1.gz +share/man/man1/ltlfsynt.1.gz share/man/man1/ltlgrind.1.gz +share/man/man1/ltlmix.1.gz share/man/man1/ltlsynt.1.gz share/man/man1/randaut.1.gz share/man/man1/randltl.1.gz