Index: head/math/rumur/Makefile
===================================================================
--- head/math/rumur/Makefile	(revision 525662)
+++ head/math/rumur/Makefile	(revision 525663)
@@ -1,32 +1,32 @@
 # $FreeBSD$
 
 PORTNAME=	rumur
-DISTVERSIONPREFIX=	v
-DISTVERSION=	2020.01.11
+DISTVERSIONPREFIX=	debian/v
+DISTVERSION=	2020.01.27-1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Model checker, a formal verification tool for state machines
 
 LICENSE=	PD
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 LIB_DEPENDS=	libgmpxx.so:math/gmp
 
-USES=		bison cmake compiler:c++11-lang python shebangfix
+USES=		bison cmake compiler:c++11-lang python:build shebangfix
 SHEBANG_FILES=	rumur/src/rumur-run
 SHEBANG_GLOB=	*.py
 USE_GITHUB=	yes
 GH_ACCOUNT=	Smattr
 USE_LDCONFIG=	yes
 
 CMAKE_ON=	BUILD_SHARED_LIBS
 CMAKE_ARGS=	BISON_EXECUTABLE:STRING=${LOCALBASE}/bin/bison
 
-BINARY_ALIAS=	python=${PYTHON_CMD}
+BINARY_ALIAS=	python3=${PYTHON_CMD}
 
 do-test:
 	@cd ${BUILD_WRKSRC} && \
-		${WRKSRC}/tests/integration-tests.py --verbose
+		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target test
 
 .include <bsd.port.mk>
Index: head/math/rumur/distinfo
===================================================================
--- head/math/rumur/distinfo	(revision 525662)
+++ head/math/rumur/distinfo	(revision 525663)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1578891494
-SHA256 (Smattr-rumur-v2020.01.11_GH0.tar.gz) = 1b71feb320b8b0ec5caa8d68395cbaf5d4538c333e5ed1c2cb7f4a903c0f0cd4
-SIZE (Smattr-rumur-v2020.01.11_GH0.tar.gz) = 223987
+TIMESTAMP = 1581263110
+SHA256 (Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz) = 00b887486ef5820a296a4218aaf08924072dc86a7e99dd3b5eed9ad741403a74
+SIZE (Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz) = 230863