cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/{,py-}spot: Update 2.9.8 -> 2.10

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2021-11-19 02:39:02 -08:00
parent 6441d6c876
commit da79a3dfb4
6 changed files with 40 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/py-spot/Makefile
View File

@ -1,5 +1,5 @@
PORTNAME= spot
DISTVERSION= 2.9.8
DISTVERSION= 2.10
CATEGORIES= math
MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}

6
math/py-spot/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1628748237
SHA256 (spot-2.9.8.tar.gz) = b7f404bb90a335a5914384ecc3fc3a2021ff22c57ee97a40c07bb2ab40e20cf9
SIZE (spot-2.9.8.tar.gz) = 6998569
TIMESTAMP = 1637317444
SHA256 (spot-2.10.tar.gz) = 966e323c1b9c11114adbf0030a852a571164f181d99e31bd616afe913c523160
SIZE (spot-2.10.tar.gz) = 7583946

8
math/py-spot/pkg-plist
View File

@ -1,6 +1,6 @@
%%PYTHON_SITELIBDIR%%/__pycache__/buddy.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
%%PYTHON_SITELIBDIR%%/__pycache__/buddy.cpython-%%PYTHON_SUFFIX%%.pyc
%%PYTHON_SITELIBDIR%%/_buddy.so
%%PYTHON_SITELIBDIR%%/_buddy%%PYTHON_EXT_SUFFIX%%.so
%%PYTHON_SITELIBDIR%%/buddy.py
%%PYTHON_SITELIBDIR%%/spot/__init__.py
%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
@ -15,9 +15,9 @@
%%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/_gen.so
%%PYTHON_SITELIBDIR%%/spot/_impl.so
%%PYTHON_SITELIBDIR%%/spot/_ltsmin.so
%%PYTHON_SITELIBDIR%%/spot/_gen%%PYTHON_EXT_SUFFIX%%.so
%%PYTHON_SITELIBDIR%%/spot/_impl%%PYTHON_EXT_SUFFIX%%.so
%%PYTHON_SITELIBDIR%%/spot/_ltsmin%%PYTHON_EXT_SUFFIX%%.so
%%PYTHON_SITELIBDIR%%/spot/aux_.py
%%PYTHON_SITELIBDIR%%/spot/gen.py
%%PYTHON_SITELIBDIR%%/spot/impl.py

2
math/spot/Makefile
View File

@ -1,5 +1,5 @@
PORTNAME= spot
DISTVERSION= 2.9.8
DISTVERSION= 2.10
CATEGORIES= math
MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/

6
math/spot/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1628745414
SHA256 (spot-2.9.8.tar.gz) = b7f404bb90a335a5914384ecc3fc3a2021ff22c57ee97a40c07bb2ab40e20cf9
SIZE (spot-2.9.8.tar.gz) = 6998569
TIMESTAMP = 1637316613
SHA256 (spot-2.10.tar.gz) = 966e323c1b9c11114adbf0030a852a571164f181d99e31bd616afe913c523160
SIZE (spot-2.10.tar.gz) = 7583946

29
math/spot/pkg-plist
View File

@ -15,6 +15,12 @@ bin/randltl
include/bddx.h
include/bvecx.h
include/fddx.h
include/spot/bricks/brick-assert
include/spot/bricks/brick-bitlevel
include/spot/bricks/brick-hash
include/spot/bricks/brick-hashset
include/spot/bricks/brick-shmem
include/spot/bricks/brick-types
include/spot/gen/automata.hh
include/spot/gen/formulas.hh
include/spot/graph/graph.hh
@ -24,17 +30,30 @@ include/spot/kripke/fwd.hh
include/spot/kripke/kripke.hh
include/spot/kripke/kripkegraph.hh
include/spot/ltsmin/ltsmin.hh
include/spot/ltsmin/spins_interface.hh
include/spot/ltsmin/spins_kripke.hh
include/spot/ltsmin/spins_kripke.hxx
include/spot/mc/bloemen.hh
include/spot/mc/bloemen_ec.hh
include/spot/mc/cndfs.hh
include/spot/mc/deadlock.hh
include/spot/mc/intersect.hh
include/spot/mc/lpar13.hh
include/spot/mc/mc.hh
include/spot/mc/mc_instanciator.hh
include/spot/mc/unionfind.hh
include/spot/mc/utils.hh
include/spot/misc/_config.h
include/spot/misc/bareword.hh
include/spot/misc/bddlt.hh
include/spot/misc/bitset.hh
include/spot/misc/bitvect.hh
include/spot/misc/casts.hh
include/spot/misc/clz.hh
include/spot/misc/common.hh
include/spot/misc/escape.hh
include/spot/misc/fixpool.hh
include/spot/misc/formater.hh
include/spot/misc/game.hh
include/spot/misc/hash.hh
include/spot/misc/hashfunc.hh
include/spot/misc/intvcmp2.hh
@ -118,6 +137,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/game.hh
include/spot/twaalgos/genem.hh
include/spot/twaalgos/gfguarantee.hh
include/spot/twaalgos/gtec/ce.hh
@ -136,6 +156,7 @@ include/spot/twaalgos/ltl2taa.hh
include/spot/twaalgos/ltl2tgba_fm.hh
include/spot/twaalgos/magic.hh
include/spot/twaalgos/mask.hh
include/spot/twaalgos/mealy_machine.hh
include/spot/twaalgos/minimize.hh
include/spot/twaalgos/neverclaim.hh
include/spot/twaalgos/parity.hh
@ -160,6 +181,7 @@ include/spot/twaalgos/strength.hh
include/spot/twaalgos/stripacc.hh
include/spot/twaalgos/stutter.hh
include/spot/twaalgos/sum.hh
include/spot/twaalgos/synthesis.hh
include/spot/twaalgos/tau03.hh
include/spot/twaalgos/tau03opt.hh
include/spot/twaalgos/toparity.hh
@ -167,6 +189,11 @@ include/spot/twaalgos/totgba.hh
include/spot/twaalgos/toweak.hh
include/spot/twaalgos/translate.hh
include/spot/twaalgos/word.hh
include/spot/twaalgos/zlktree.hh
include/spot/twacube/cube.hh
include/spot/twacube/fwd.hh
include/spot/twacube/twacube.hh
include/spot/twacube_algos/convert.hh
lib/libbddx.so
lib/libbddx.so.0
lib/libbddx.so.0.0.0