Date: Fri, 1 Oct 2021 09:00:38 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: c1945ff2eb4c - main - math/rumur: Update 2020.12.20 -> 2021.09.29 Message-ID: <202110010900.19190cue072689@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=c1945ff2eb4c29dac155a82a3bd79c782141bfc5 commit c1945ff2eb4c29dac155a82a3bd79c782141bfc5 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2021-10-01 08:47:28 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2021-10-01 08:59:32 +0000 math/rumur: Update 2020.12.20 -> 2021.09.29 --- math/rumur/Makefile | 2 +- math/rumur/distinfo | 6 +++--- 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202110010900.19190cue072689>