Index: head/math/spot/Makefile
===================================================================
--- head/math/spot/Makefile	(revision 507995)
+++ head/math/spot/Makefile	(revision 507996)
@@ -1,28 +1,27 @@
 # $FreeBSD$
 
 PORTNAME=	spot
-DISTVERSION=	2.7.5
-PORTREVISION=	1
+DISTVERSION=	2.8.1
 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 <bsd.port.mk>
Index: head/math/spot/distinfo
===================================================================
--- head/math/spot/distinfo	(revision 507995)
+++ head/math/spot/distinfo	(revision 507996)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1559889370
-SHA256 (spot-2.7.5.tar.gz) = 2cbbfb6245250603c92fd3d512d07b5d70c7924826b156a260c4a41039c0ce23
-SIZE (spot-2.7.5.tar.gz) = 7367614
+TIMESTAMP = 1564863216
+SHA256 (spot-2.8.1.tar.gz) = dcb7aa684725304afb3d435f26f25b51fbd6e9a6ef610e16163cc0030ad5eab4
+SIZE (spot-2.8.1.tar.gz) = 7484722