diff --git a/math/spot/Makefile b/math/spot/Makefile index 6ead14bd9a23..deac17866643 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,27 +1,27 @@ # $FreeBSD$ PORTNAME= spot -DISTVERSION= 2.8.2 +DISTVERSION= 2.8.3 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 4e7bc638dd11..a7b7d5029973 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1569680366 -SHA256 (spot-2.8.2.tar.gz) = 88ff7e40c2fbf029196249566bf670806443d4770d814b9cd2e98fa4a817990a -SIZE (spot-2.8.2.tar.gz) = 7535145 +TIMESTAMP = 1573369648 +SHA256 (spot-2.8.3.tar.gz) = 68ba5c39cfdba886edde9f7d90df49054388ce3d7bef5b08616cb70149c2bdcf +SIZE (spot-2.8.3.tar.gz) = 7534733