math/spot: Update 2.6.3 -> 2.7
Reported by: portscout
This commit is contained in:
parent
78f48014f1
commit
d194d24250
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=487316
@ -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}/
|
||||
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user