diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-12-12 18:37:46 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-12-12 18:37:46 +0000 |
| commit | d194d242500c57cd68154c747b36699a50653f74 (patch) | |
| tree | 643c5bd126c5e872d44e8365ecdd4bc6380b87d4 /math/spot/pkg-plist | |
| parent | math/py-spot: Update 2.6.3 -> 2.7 (diff) | |
math/spot: Update 2.6.3 -> 2.7
Reported by: portscout
Notes
Notes:
svn path=/head/; revision=487316
Diffstat (limited to 'math/spot/pkg-plist')
| -rw-r--r-- | math/spot/pkg-plist | 2 |
1 files changed, 2 insertions, 0 deletions
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 |