diff --git a/math/spot/Makefile b/math/spot/Makefile index 1f710df5449c..2660035b185c 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= spot -DISTVERSION= 2.6.3 -PORTREVISION= 1 +DISTVERSION= 2.7 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ diff --git a/math/spot/distinfo b/math/spot/distinfo index 4fb09de81ec8..bd6e1eacf199 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1539899442 -SHA256 (spot-2.6.3.tar.gz) = 2b24dd7f841cbb4cba04c5be106bb2b3140c453ca216cdf444314c2ee4208432 -SIZE (spot-2.6.3.tar.gz) = 7053469 +TIMESTAMP = 1544636463 +SHA256 (spot-2.7.tar.gz) = 3ea000ac443c780f09574ec059c8931436783227c6afb43b24c863e85a22b5ef +SIZE (spot-2.7.tar.gz) = 7141679 diff --git a/math/spot/pkg-plist b/math/spot/pkg-plist index 609c034acb1e..01a776938f75 100644 --- a/math/spot/pkg-plist +++ b/math/spot/pkg-plist @@ -118,6 +118,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/genem.hh include/spot/twaalgos/gfguarantee.hh include/spot/twaalgos/gtec/ce.hh include/spot/twaalgos/gtec/gtec.hh @@ -162,6 +163,7 @@ include/spot/twaalgos/stutter.hh include/spot/twaalgos/sum.hh include/spot/twaalgos/tau03.hh include/spot/twaalgos/tau03opt.hh +include/spot/twaalgos/toparity.hh include/spot/twaalgos/totgba.hh include/spot/twaalgos/toweak.hh include/spot/twaalgos/translate.hh