Index: head/math/spot/Makefile =================================================================== --- head/math/spot/Makefile (revision 482384) +++ head/math/spot/Makefile (revision 482385) @@ -1,27 +1,27 @@ # $FreeBSD$ PORTNAME= spot -DISTVERSION= 2.6.2 +DISTVERSION= 2.6.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 Index: head/math/spot/distinfo =================================================================== --- head/math/spot/distinfo (revision 482384) +++ head/math/spot/distinfo (revision 482385) @@ -1,3 +1,3 @@ -TIMESTAMP = 1538264591 -SHA256 (spot-2.6.2.tar.gz) = caf5398def7adc30369d46915499bad88abff0a32e4429113122b6eb19f91146 -SIZE (spot-2.6.2.tar.gz) = 7049406 +TIMESTAMP = 1539899442 +SHA256 (spot-2.6.3.tar.gz) = 2b24dd7f841cbb4cba04c5be106bb2b3140c453ca216cdf444314c2ee4208432 +SIZE (spot-2.6.3.tar.gz) = 7053469