diff --git a/math/spot/Makefile b/math/spot/Makefile index 95a853fcc9b9..84b6320c45fa 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,28 +1,27 @@ # $FreeBSD$ PORTNAME= spot -DISTVERSION= 2.6.1 -PORTREVISION= 1 +DISTVERSION= 2.6.2 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ MAINTAINER= yuri@FreeBSD.org COMMENT= Library for omega automata manipulation and model checking LICENSE= GPLv3 LICENSE_FILE= ${WRKSRC}/COPYING USES= charsetfix compiler:c++14-lang gmake libtool GNU_CONFIGURE= yes CONFIGURE_ARGS= --disable-python --disable-static INSTALL_TARGET= install-strip USE_LDCONFIG= yes OPTIONS_DEFINE= DOCS PORTDOCS= tl.pdf post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/*.so .include diff --git a/math/spot/distinfo b/math/spot/distinfo index f6b19856bf30..ad37fb3de035 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1533412580 -SHA256 (spot-2.6.1.tar.gz) = 1275ec21f350ab6ae3c37a08118f5e353d67b30790fa6907d703fa2385e7f63f -SIZE (spot-2.6.1.tar.gz) = 7088087 +TIMESTAMP = 1538264591 +SHA256 (spot-2.6.2.tar.gz) = caf5398def7adc30369d46915499bad88abff0a32e4429113122b6eb19f91146 +SIZE (spot-2.6.2.tar.gz) = 7049406