git: 838457649a8c - main - math/{,py-}spot: update 2.11.6 → 2.12

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=838457649a8c1c146b3c5625f4e068b7040e7105

commit 838457649a8c1c146b3c5625f4e068b7040e7105
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-05-25 04:00:09 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
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