Index: head/math/mppp/Makefile
===================================================================
--- head/math/mppp/Makefile	(revision 495687)
+++ head/math/mppp/Makefile	(revision 495688)
@@ -1,43 +1,42 @@
 # $FreeBSD$
 
 PORTNAME=	mppp
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.12
-PORTREVISION=	1
+DISTVERSION=	0.13
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Multiprecision for modern C++
 
 LICENSE=	MPL20
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 # build only checks that the headers exist, and then they are included in the run time
 BUILD_DEPENDS=	${LOCALBASE}/include/gmp.h:math/gmp \
 		${LOCALBASE}/include/mpfr.h:math/mpfr
 RUN_DEPENDS=	${LOCALBASE}/include/gmp.h:math/gmp \
 		${LOCALBASE}/include/mpfr.h:math/mpfr
 
 USES=		cmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	bluescarni
 NO_BUILD=	yes
 NO_ARCH=	yes
 
 TEST_USES=	compiler:c++14-lang
 TEST_ARGS=	-DMPPP_BUILD_TESTS=ON -DMPPP_WITH_MPFR=ON #-DMPPP_WITH_QUADMATH=ON (quadmath requires __float128, only available in clang6)
 BENCHMARK_ARGS=	-DMPPP_BUILD_BENCHMARKS=ON -DMPPP_BENCHMARK_BOOST=ON
 
 do-test:
 	@cd ${BUILD_WRKSRC} && \
 		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} ${TEST_ARGS} ${CMAKE_SOURCE_PATH} && \
 		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \
 		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test
 
 benchmarks: build # additionally depends on boost-libs
 	@cd ${BUILD_WRKSRC} && \
 		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} ${BENCHMARK_ARGS} ${CMAKE_SOURCE_PATH} && \
 		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \
 		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} benchmark
 
 .include <bsd.port.mk>
Index: head/math/mppp/distinfo
===================================================================
--- head/math/mppp/distinfo	(revision 495687)
+++ head/math/mppp/distinfo	(revision 495688)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1539405865
-SHA256 (bluescarni-mppp-v0.12_GH0.tar.gz) = ea8ace6b5d4df4dd96f003f4130d159ea488e766e6176b8d2758928d1108725e
-SIZE (bluescarni-mppp-v0.12_GH0.tar.gz) = 1347690
+TIMESTAMP = 1552541366
+SHA256 (bluescarni-mppp-v0.13_GH0.tar.gz) = d92dd9efc7f8cd5f550c90a4f4922678c4b79993e56dac1f01c3b4ad60086ad6
+SIZE (bluescarni-mppp-v0.13_GH0.tar.gz) = 1353019