From owner-dev-commits-ports-main@freebsd.org Fri Oct 1 09:00:39 2021 Return-Path: Delivered-To: dev-commits-ports-main@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 198A56A92ED; Fri, 1 Oct 2021 09:00:39 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4HLPGG6zv2z3N9p; Fri, 1 Oct 2021 09:00:38 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id D11B21C0F5; Fri, 1 Oct 2021 09:00:38 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 19190cRH072690; Fri, 1 Oct 2021 09:00:38 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 19190cue072689; Fri, 1 Oct 2021 09:00:38 GMT (envelope-from git) Date: Fri, 1 Oct 2021 09:00:38 GMT Message-Id: <202110010900.19190cue072689@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: c1945ff2eb4c - main - math/rumur: Update 2020.12.20 -> 2021.09.29 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: c1945ff2eb4c29dac155a82a3bd79c782141bfc5 Auto-Submitted: auto-generated X-BeenThere: dev-commits-ports-main@freebsd.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Commits to the main branch of the FreeBSD ports repository List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 01 Oct 2021 09:00:39 -0000 The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=c1945ff2eb4c29dac155a82a3bd79c782141bfc5 commit c1945ff2eb4c29dac155a82a3bd79c782141bfc5 Author: Yuri Victorovich AuthorDate: 2021-10-01 08:47:28 +0000 Commit: Yuri Victorovich 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