diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-10-01 08:47:28 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-10-01 08:59:32 +0000 |
| commit | c1945ff2eb4c29dac155a82a3bd79c782141bfc5 (patch) | |
| tree | 43455e5ed8b99ca84992fe5c91abca594bd4a094 | |
| parent | 81cd084e2b26d30b5e16e552e75a862b4fc494f7 (diff) | |
| download | ports-c1945ff2eb4c29dac155a82a3bd79c782141bfc5.tar.gz ports-c1945ff2eb4c29dac155a82a3bd79c782141bfc5.zip | |
math/rumur: Update 2020.12.20 -> 2021.09.29
| -rw-r--r-- | math/rumur/Makefile | 2 | ||||
| -rw-r--r-- | math/rumur/distinfo | 6 | ||||
| -rw-r--r-- | math/rumur/pkg-plist | 5 |
3 files changed, 8 insertions, 5 deletions
diff --git a/math/rumur/Makefile b/math/rumur/Makefile index 0947841cbe39..b3697ddd2330 100644 --- 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 index 7b8f2735010a..b25e081a773f 100644 --- 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 index c51bcb8e105d..de20b0954cca 100644 --- 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,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 |