Index: head/math/libsemigroups/Makefile
===================================================================
--- head/math/libsemigroups/Makefile	(revision 563224)
+++ head/math/libsemigroups/Makefile	(revision 563225)
@@ -1,47 +1,46 @@
 # Created by: thierry@pompo.net
 # $FreeBSD$
 
 PORTNAME=	libsemigroups
-PORTVERSION=	1.3.4
-PORTREVISION=	1
+PORTVERSION=	1.3.5
 DISTVERSIONPREFIX=	v
 CATEGORIES=	math
 
 MAINTAINER=	thierry@FreeBSD.org
 COMMENT=	C++ library for semigroups and monoids
 
 LICENSE=	GPLv3
 
 BUILD_DEPENDS=	HPCombi>0:math/hpcombi
 LIB_DEPENDS=	libfmt.so:devel/libfmt
 
 USE_GITHUB=	yes
 
 USES=		autoreconf compiler:c++11-lang eigen:3,build \
 		libtool pkgconfig
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--enable-fmt --with-external-fmt=yes	\
 		--with-external-eigen
 USE_LDCONFIG=	yes
 TEST_TARGET=	check
 
 .include <bsd.port.pre.mk>
 
 .if ${ARCH} != amd64
 CONFIGURE_ARGS+=	--disable-hpcombi
 .endif
 
 pre-configure:
 .if ${ARCH} == amd64
 	${REINPLACE_CMD} -e 's|$$srcdir/extern/HPCombi|${LOCALBASE}/share/HPCombi|'	\
 		${WRKSRC}/m4/ax_check_hpcombi.m4
 	${REINPLACE_CMD} -e 's|extern/HPCombi/include|${LOCALBASE}/include/HPCombi|'	\
 		${WRKSRC}/Makefile.am
 	${REINPLACE_CMD} -e 's|HPCombi/include|HPCombi|'	\
 		${WRKSRC}/include/libsemigroups/hpcombi.hpp
 .endif
 	${REINPLACE_CMD} -e 's|fmtinclude_HEADERS|#fmtinclude_HEADERS|'	\
 		${WRKSRC}/Makefile.am
 
 .include <bsd.port.post.mk>
Index: head/math/libsemigroups/distinfo
===================================================================
--- head/math/libsemigroups/distinfo	(revision 563224)
+++ head/math/libsemigroups/distinfo	(revision 563225)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1606574826
-SHA256 (libsemigroups-libsemigroups-v1.3.4_GH0.tar.gz) = c7cde5c76033a9d46eaefd95e4f9ec3e50b7b084777927335015409216bf2cd0
-SIZE (libsemigroups-libsemigroups-v1.3.4_GH0.tar.gz) = 3157437
+TIMESTAMP = 1611943737
+SHA256 (libsemigroups-libsemigroups-v1.3.5_GH0.tar.gz) = 7b3e9c1d62892072781cf62ef194fced3eadb5e2302da9980312475d9e1aacd6
+SIZE (libsemigroups-libsemigroups-v1.3.5_GH0.tar.gz) = 3157559