Index: head/math/spot/Makefile =================================================================== --- head/math/spot/Makefile (revision 480933) +++ head/math/spot/Makefile (revision 480934) @@ -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 Index: head/math/spot/distinfo =================================================================== --- head/math/spot/distinfo (revision 480933) +++ head/math/spot/distinfo (revision 480934) @@ -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