Index: head/math/rumur/Makefile
===================================================================
--- head/math/rumur/Makefile	(revision 531089)
+++ head/math/rumur/Makefile	(revision 531090)
@@ -1,32 +1,32 @@
 # $FreeBSD$
 
 PORTNAME=	rumur
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2020.03.12
+DISTVERSION=	2020.04.05
 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: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=	python3=${PYTHON_CMD}
 
 do-test:
 	@cd ${BUILD_WRKSRC} && \
 		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target test
 
 .include <bsd.port.mk>
Index: head/math/rumur/distinfo
===================================================================
--- head/math/rumur/distinfo	(revision 531089)
+++ head/math/rumur/distinfo	(revision 531090)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1584112000
-SHA256 (Smattr-rumur-v2020.03.12_GH0.tar.gz) = f9641ce11b19c48348da08513d3bbca01c6c1b03b1b547d38181c275de35500b
-SIZE (Smattr-rumur-v2020.03.12_GH0.tar.gz) = 248122
+TIMESTAMP = 1586324784
+SHA256 (Smattr-rumur-v2020.04.05_GH0.tar.gz) = 4764b8f800a702efd175ecd29960bca2c8d6fdfdf25ef4112aece4579615650b
+SIZE (Smattr-rumur-v2020.04.05_GH0.tar.gz) = 264556
Index: head/math/rumur/pkg-plist
===================================================================
--- head/math/rumur/pkg-plist	(revision 531089)
+++ head/math/rumur/pkg-plist	(revision 531090)
@@ -1,35 +1,37 @@
 bin/murphi2c
+bin/murphi2murphi
 bin/murphi2xml
 bin/rumur
 bin/rumur-run
 include/rumur/Boolean.h
 include/rumur/Decl.h
 include/rumur/Expr.h
 include/rumur/Function.h
 include/rumur/Model.h
 include/rumur/Node.h
 include/rumur/Number.h
 include/rumur/Property.h
 include/rumur/Ptr.h
 include/rumur/Rule.h
 include/rumur/Stmt.h
 include/rumur/Symtab.h
 include/rumur/TypeExpr.h
 include/rumur/except.h
 include/rumur/indexer.h
 include/rumur/location.hh
 include/rumur/parse.h
 include/rumur/parser.yy.hh
 include/rumur/position.hh
 include/rumur/resolve-symbols.h
 include/rumur/rumur.h
 include/rumur/rumur-get-version.h
 include/rumur/scanner.h
 include/rumur/stack.hh
 include/rumur/traverse.h
 include/rumur/validate.h
 lib/librumur.so
 man/man1/murphi2c.1.gz
+man/man1/murphi2murphi.1.gz
 man/man1/murphi2xml.1.gz
 man/man1/rumur-run.1.gz
 man/man1/rumur.1.gz