git: 1ccfdde4159a - main - math/{,py-}spot: update 2.12.1 → 2.14.3

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Wed, 12 Nov 2025 16:55:50 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=1ccfdde4159a9e8aaa069944f3a357b75417b7b9

commit 1ccfdde4159a9e8aaa069944f3a357b75417b7b9
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-11-12 16:54:50 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
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