Index: head/math/rumur/Makefile
===================================================================
--- head/math/rumur/Makefile	(revision 504126)
+++ head/math/rumur/Makefile	(revision 504127)
@@ -1,33 +1,31 @@
 # $FreeBSD$
 
 PORTNAME=	rumur
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2019.06.05
+DISTVERSION=	2019.06.12
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Model checker, a formal verification tool for state machines
 
 LICENSE=	PD
 LICENSE_FILE=	${WRKSRC}/LICENSE
-
-BROKEN_i386=	no matching function for call to 'make_ul', see https://github.com/Smattr/rumur/issues/136
 
 LIB_DEPENDS=	libgmpxx.so:math/gmp
 
 USES=		bison cmake compiler:c++11-lang python shebangfix
 SHEBANG_FILES=	rumur/src/rumur-run tests/integration-tests.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}
 
 do-test:
 	@cd ${BUILD_WRKSRC} && \
 		${WRKSRC}/tests/integration-tests.py --verbose
 
 .include <bsd.port.mk>
Index: head/math/rumur/distinfo
===================================================================
--- head/math/rumur/distinfo	(revision 504126)
+++ head/math/rumur/distinfo	(revision 504127)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1559797474
-SHA256 (Smattr-rumur-v2019.06.05_GH0.tar.gz) = 4055fe73641b0c7be9183cef8d2764884869d7eaf7b35719785a881829bbe421
-SIZE (Smattr-rumur-v2019.06.05_GH0.tar.gz) = 168722
+TIMESTAMP = 1560442948
+SHA256 (Smattr-rumur-v2019.06.12_GH0.tar.gz) = 25083ddce317a25da0afbd4833227f277d411c33b69a4297ed33703fdfe16381
+SIZE (Smattr-rumur-v2019.06.12_GH0.tar.gz) = 169073