math/rumur: Update 2020.12.20 -> 2021.09.29

freebsd · Oct 1, 2021 · c1945ff · c1945ff
1 parent 81cd084
commit c1945ff
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 5 deletions.
diff --git a/math/rumur/Makefile b/math/rumur/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	rumur
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2020.12.20
+DISTVERSION=	2021.09.29
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org

diff --git a/math/rumur/distinfo b/math/rumur/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1608844484
-SHA256 (Smattr-rumur-v2020.12.20_GH0.tar.gz) = 0d9a4c202b2b6f4cbd8179e7a9993e13ee81eda0cb04b7ab0f46248980d26c77
-SIZE (Smattr-rumur-v2020.12.20_GH0.tar.gz) = 299922
+TIMESTAMP = 1633073535
+SHA256 (Smattr-rumur-v2021.09.29_GH0.tar.gz) = e61eb820375168955da24dd29e03033991695606263fe040566d20158c3c8cde
+SIZE (Smattr-rumur-v2021.09.29_GH0.tar.gz) = 313520
diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist
@@ -1,5 +1,6 @@
 bin/murphi2c
 bin/murphi2murphi
+bin/murphi2uclid
 bin/murphi2xml
 bin/rumur
 bin/rumur-run
@@ -24,15 +25,17 @@ 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/rumur.h
+include/rumur/sanitise_rule_names.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/murphi2uclid.1.gz
 man/man1/murphi2xml.1.gz
 man/man1/rumur-run.1.gz
 man/man1/rumur.1.gz