diff --git a/math/rumur/Makefile b/math/rumur/Makefile
index fcb9d6f55a4c..c8e05ba3fdb7 100644
--- a/math/rumur/Makefile
+++ b/math/rumur/Makefile
@@ -1,33 +1,33 @@
 PORTNAME=	rumur
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2022.08.20
+DISTVERSION=	2023.05.21
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Model checker, a formal verification tool for state machines
 WWW=		https://github.com/Smattr/rumur
 
 LICENSE=	PD
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 LIB_DEPENDS=	libgmpxx.so:math/gmp
 
 USES=		bison cmake compiler:c++11-lang python:build shebangfix
 USE_LDCONFIG=	yes
 
 SHEBANG_FILES=	rumur/src/rumur-run
 SHEBANG_GLOB=	*.py
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	Smattr
 
 CMAKE_ON=	BUILD_SHARED_LIBS
 CMAKE_ARGS=	BISON_EXECUTABLE:STRING=${LOCALBASE}/bin/bison
 
 BINARY_ALIAS=	python3=${PYTHON_CMD}
 
 do-test:
 	@cd ${BUILD_WRKSRC} && \
 		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target check
 
 .include <bsd.port.mk>
diff --git a/math/rumur/distinfo b/math/rumur/distinfo
index 6b0edf66d459..5cb5dd0c4408 100644
--- a/math/rumur/distinfo
+++ b/math/rumur/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1661109856
-SHA256 (Smattr-rumur-v2022.08.20_GH0.tar.gz) = 578eb763af192321d235e2d4cf463bf2a6cfd5de21f50d3f4e0c7b487d307575
-SIZE (Smattr-rumur-v2022.08.20_GH0.tar.gz) = 313720
+TIMESTAMP = 1684988209
+SHA256 (Smattr-rumur-v2023.05.21_GH0.tar.gz) = db3161adf57e746b1bd49b2a204db64d4ef3dd0a8211f4e92db401b24a391cd2
+SIZE (Smattr-rumur-v2023.05.21_GH0.tar.gz) = 317098