diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-05-25 04:00:09 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-05-25 04:12:10 +0000 |
commit | 838457649a8c1c146b3c5625f4e068b7040e7105 (patch) | |
tree | 8f84d2d4141386a3bfb385429d6e4a2e3a03f53d | |
parent | 40f201753b965a5af7893f6c4777b7a0657473b4 (diff) | |
download | ports-838457649a8c1c146b3c5625f4e068b7040e7105.tar.gz ports-838457649a8c1c146b3c5625f4e068b7040e7105.zip |
math/{,py-}spot: update 2.11.6 → 2.12
Reported by: portscout
-rw-r--r-- | math/py-spot/Makefile | 2 | ||||
-rw-r--r-- | math/py-spot/distinfo | 6 | ||||
-rw-r--r-- | math/spot/Makefile | 3 | ||||
-rw-r--r-- | math/spot/distinfo | 6 | ||||
-rw-r--r-- | 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 |