diff --git a/math/libsemigroups/Makefile b/math/libsemigroups/Makefile
index 11cdf8e22fd6..b657d6e2512e 100644
--- a/math/libsemigroups/Makefile
+++ b/math/libsemigroups/Makefile
@@ -1,50 +1,50 @@
 PORTNAME=	libsemigroups
 PORTVERSION=	1.3.7
 DISTVERSIONPREFIX=	v
-PORTREVISION=	4
+PORTREVISION=	5
 CATEGORIES=	math
 
 MAINTAINER=	thierry@FreeBSD.org
 COMMENT=	C++ library for semigroups and monoids
 WWW=		https://libsemigroups.readthedocs.io/en/latest/
 
 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
 
 OPTIONS_DEFINE=	NATIVE
 
 .include <bsd.port.pre.mk>
 
 .if ${ARCH} != amd64
 CONFIGURE_ARGS+=	--disable-hpcombi
 .endif
 
 post-patch-NATIVE-off:
 	@${REINPLACE_CMD} -e 's/-march=native/-march=default/' ${WRKSRC}/m4/ax_check_hpcombi.m4
 
 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|'	\
 		-e 's|-O3 ||' ${WRKSRC}/Makefile.am
 
 .include <bsd.port.post.mk>
diff --git a/math/libsemigroups/pkg-plist b/math/libsemigroups/pkg-plist
index c587cfebd1a9..fa843b9c9f0c 100644
--- a/math/libsemigroups/pkg-plist
+++ b/math/libsemigroups/pkg-plist
@@ -1,78 +1,63 @@
-include/libsemigroups/HPCombi/include/bmat8.hpp
-include/libsemigroups/HPCombi/include/bmat8_impl.hpp
-include/libsemigroups/HPCombi/include/epu.hpp
-include/libsemigroups/HPCombi/include/epu_impl.hpp
-include/libsemigroups/HPCombi/include/fallback/gcdlcm.hpp
-include/libsemigroups/HPCombi/include/fallback/seq.hpp
-include/libsemigroups/HPCombi/include/hpcombi.hpp
-include/libsemigroups/HPCombi/include/perm16.hpp
-include/libsemigroups/HPCombi/include/perm16_impl.hpp
-include/libsemigroups/HPCombi/include/perm_generic.hpp
-include/libsemigroups/HPCombi/include/perm_generic_impl.hpp
-include/libsemigroups/HPCombi/include/power.hpp
-include/libsemigroups/HPCombi/include/testtools.hpp
-include/libsemigroups/HPCombi/include/vect16.hpp
-include/libsemigroups/HPCombi/include/vect_generic.hpp
 include/libsemigroups/action.hpp
 include/libsemigroups/adapters.hpp
 include/libsemigroups/bitset.hpp
 include/libsemigroups/blocks.hpp
 include/libsemigroups/bmat8.hpp
 include/libsemigroups/bruidhinn-traits.hpp
 include/libsemigroups/cong-intf.hpp
 include/libsemigroups/cong-pair-impl.hpp
 include/libsemigroups/cong-pair.hpp
 include/libsemigroups/cong-wrap.hpp
 include/libsemigroups/cong.hpp
 include/libsemigroups/constants.hpp
 include/libsemigroups/containers.hpp
 include/libsemigroups/coset.hpp
 include/libsemigroups/deprecated.hpp
 include/libsemigroups/digraph-helper.hpp
 include/libsemigroups/digraph.hpp
 include/libsemigroups/element-adapters.hpp
 include/libsemigroups/element-helper.hpp
 include/libsemigroups/element.hpp
 include/libsemigroups/forest.hpp
 include/libsemigroups/fpsemi-intf.hpp
 include/libsemigroups/fpsemi.hpp
 include/libsemigroups/froidure-pin-base.hpp
 include/libsemigroups/froidure-pin-impl.hpp
 include/libsemigroups/froidure-pin.hpp
 include/libsemigroups/function-ref.hpp
 include/libsemigroups/hpcombi.hpp
 include/libsemigroups/int-range.hpp
 include/libsemigroups/iterator.hpp
 include/libsemigroups/kbe.hpp
 include/libsemigroups/knuth-bendix.hpp
 include/libsemigroups/konieczny.hpp
 include/libsemigroups/libsemigroups-config.hpp
 include/libsemigroups/libsemigroups-debug.hpp
 include/libsemigroups/libsemigroups-exception.hpp
 include/libsemigroups/libsemigroups.hpp
 include/libsemigroups/obvinf.hpp
 include/libsemigroups/order.hpp
 include/libsemigroups/pool.hpp
 include/libsemigroups/race.hpp
 include/libsemigroups/report.hpp
 include/libsemigroups/runner.hpp
 include/libsemigroups/schreier-sims.hpp
 include/libsemigroups/semiring.hpp
 include/libsemigroups/siso.hpp
 include/libsemigroups/stl.hpp
 include/libsemigroups/string.hpp
 include/libsemigroups/tce.hpp
 include/libsemigroups/timer.hpp
 include/libsemigroups/todd-coxeter.hpp
 include/libsemigroups/transf.hpp
 include/libsemigroups/types.hpp
 include/libsemigroups/uf-old.hpp
 include/libsemigroups/uf.hpp
 include/libsemigroups/wilo.hpp
 include/libsemigroups/wislo.hpp
 include/libsemigroups/word.hpp
 lib/libsemigroups.a
 lib/libsemigroups.so
 lib/libsemigroups.so.1
 lib/libsemigroups.so.1.0.0
 libdata/pkgconfig/libsemigroups.pc