Date: Wed, 12 Dec 2018 18:37:47 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r487316 - head/math/spot Message-ID: <201812121837.wBCIbl1w099183@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Wed Dec 12 18:37:46 2018 New Revision: 487316 URL: https://svnweb.freebsd.org/changeset/ports/487316 Log: math/spot: Update 2.6.3 -> 2.7 Reported by: portscout Modified: head/math/spot/Makefile head/math/spot/distinfo head/math/spot/pkg-plist Modified: head/math/spot/Makefile ============================================================================== --- head/math/spot/Makefile Wed Dec 12 18:36:14 2018 (r487315) +++ head/math/spot/Makefile Wed Dec 12 18:37:46 2018 (r487316) @@ -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}/ Modified: head/math/spot/distinfo ============================================================================== --- head/math/spot/distinfo Wed Dec 12 18:36:14 2018 (r487315) +++ head/math/spot/distinfo Wed Dec 12 18:37:46 2018 (r487316) @@ -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 Modified: head/math/spot/pkg-plist ============================================================================== --- head/math/spot/pkg-plist Wed Dec 12 18:36:14 2018 (r487315) +++ head/math/spot/pkg-plist Wed Dec 12 18:37:46 2018 (r487316) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201812121837.wBCIbl1w099183>