freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

math/rumur: Update 2020.12.20 -> 2021.09.29

Browse Source
This commit is contained in:
Yuri Victorovich
2021-10-01 01:47:28 -07:00
parent 81cd084e2b
commit c1945ff2eb
3 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
math/rumur/Makefile
View File

@@ -1,6 +1,6 @@
PORTNAME= rumur
DISTVERSIONPREFIX= v
DISTVERSION= 2020.12.20
DISTVERSION= 2021.09.29
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org

6
math/rumur/distinfo
View File

@@ -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

5
math/rumur/pkg-plist
View File

@@ -1,5 +1,6 @@
bin/murphi2c
bin/murphi2murphi
bin/murphi2uclid
bin/murphi2xml
bin/rumur
bin/rumur-run
@@ -24,8 +25,9 @@ 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
@@ -33,6 +35,7 @@ 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