From nobody Tue Jul 16 05:21:41 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4WNS9L0Rqsz5R1jR; Tue, 16 Jul 2024 05:21:42 +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 "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4WNS9K5561z4l8m; Tue, 16 Jul 2024 05:21:41 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1721107301; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=laLnUyK0dsGRPRKAPT54hk8LirFZgzYuGj9sLXF8WSM=; b=YscNeHXTo+p5ilRBOcov6SdCR8rim9qro32qSB2q9Y/KHmkpHFfCW6yNR6Rzj9/GAwr78C bqJ6bloQUAibNiq6M/t5GFLLEwQ4AzCrwFgCl6R7vsU9u6BwIHZ4YeIrXSLsomqoZq2Hbh 0LnmCHEl+5MxvjfdkRmae9c0i2XBRD4h5JwKAAJ2pBGjn/hYG+Hp2Z6wLQmN8pdwSsL1CE MCTzXdpunyx8wQE/bUZRRFG2dOU9dI/hOYkfneeRr95VTtLyJkP6pHXPF16g22SzM/uSep MNtWSx/AS2xdlePSonq/q5835ZOPstNUZpjYHOy//I3RO894GBTk0BqvveHPjw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1721107301; a=rsa-sha256; cv=none; b=vshW7czupymvRrEe3jjuqO359AUvXoIIDE6cqqL6HuGN/WYUXBLnUe67Qf1sGZT+Tkr5g7 ry8WhdF5Fp4vnTXnruU8v4FDby43WNWbx5q5ztWovM2VIgky3IV7dBS6YunBcQVm62oKg6 yDyOWK1Jl3OSHZBlTKelbEsDPAT6tgTSo1CPKZPtt6bN4g5XPuii1V+U7NSvlY2YRkUiKe D1LiA5zQoEJaSs2XjZdb1hYPKs5g7Q/A30fc6Nvc6DF9gCuYU4CtPyOdQnB2vVUutqedwu w6ug0HI5Ora8SfbBdfwVtw2CBo7Lztyxe9ezzGQCxNxJLr0Vubbf12ctvFnVNQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1721107301; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=laLnUyK0dsGRPRKAPT54hk8LirFZgzYuGj9sLXF8WSM=; b=oqT9sin7I5UWeH8bGHB0LlwQhFjiAC/NcOxH7WWB7/6wLeQ+rksMsal6f8isv9XhYxRw9T CR/XHa1aQE6FZ3ddUWRNiY6MwE4J17u3vn4tZautI8a0d6dz2wwvWwzOX4/3qCylGAS43v IulJeZ/X13gr+K8jlXwOyCVCAMJoLTrG2bdedKNcKBgLnnf0w2VDCLhQda/ozOvpAj5bx8 P70KLEE6nQIq2QNwK/SY4QcnUevdiInXPHjBkXsD1Z/hGCVYV4+6++RjAIdvprcKIq5s1l 0aWbWj22n8VdN1/kNQP7WfBt4JLOB5efqRjqx4yhBS2e0Ntd3r31pbvzkjt1FA== 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 4WNS9K4jLNzNPQ; Tue, 16 Jul 2024 05:21:41 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 46G5Lf9R067680; Tue, 16 Jul 2024 05:21:41 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 46G5LfP5067677; Tue, 16 Jul 2024 05:21:41 GMT (envelope-from git) Date: Tue, 16 Jul 2024 05:21:41 GMT Message-Id: <202407160521.46G5LfP5067677@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: 4cc08632db05 - main - math/rumur: update 2024.05.07 =?utf-8?Q?=E2=86=92?= 2024.07.14 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org 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: 4cc08632db058dc3730124b79a2d58c25a0308b6 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=4cc08632db058dc3730124b79a2d58c25a0308b6 commit 4cc08632db058dc3730124b79a2d58c25a0308b6 Author: Yuri Victorovich AuthorDate: 2024-07-16 04:53:39 +0000 Commit: Yuri Victorovich CommitDate: 2024-07-16 05:21:33 +0000 math/rumur: update 2024.05.07 → 2024.07.14 Reported by: portscout --- math/rumur/Makefile | 4 ++-- math/rumur/distinfo | 6 +++--- math/rumur/pkg-plist | 2 ++ 3 files changed, 7 insertions(+), 5 deletions(-) diff --git a/math/rumur/Makefile b/math/rumur/Makefile index a68c481c1119..695528b023be 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -1,6 +1,6 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2024.05.07 +DISTVERSION= 2024.07.14 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -26,7 +26,7 @@ CMAKE_ARGS= BISON_EXECUTABLE:STRING=${LOCALBASE}/bin/bison BINARY_ALIAS= python3=${PYTHON_CMD} -do-test: +do-test: # the test command hangs, see https://github.com/Smattr/rumur/issues/274 @cd ${BUILD_WRKSRC} && \ ${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target check diff --git a/math/rumur/distinfo b/math/rumur/distinfo index fba27999e8bb..222c9eb3c09d 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1716657052 -SHA256 (Smattr-rumur-v2024.05.07_GH0.tar.gz) = bf09d11c173280cd4893f7fa452fa3bebe5ad9aae44ea2750e56772acc6ad092 -SIZE (Smattr-rumur-v2024.05.07_GH0.tar.gz) = 317774 +TIMESTAMP = 1721103709 +SHA256 (Smattr-rumur-v2024.07.14_GH0.tar.gz) = 41a49db5167ae6c0fb14b47e91ca2e07401d5805f1ef918c6a91deccdacf6c66 +SIZE (Smattr-rumur-v2024.07.14_GH0.tar.gz) = 331016 diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist index 16cc18e581b4..f1c04d2e9e82 100644 --- a/math/rumur/pkg-plist +++ b/math/rumur/pkg-plist @@ -1,5 +1,6 @@ bin/murphi2c bin/murphi2murphi +bin/murphi2smv bin/murphi2uclid bin/murphi2xml bin/rumur @@ -35,6 +36,7 @@ include/rumur/validate.h lib/librumur.so share/man/man1/murphi2c.1.gz share/man/man1/murphi2murphi.1.gz +share/man/man1/murphi2smv.1.gz share/man/man1/murphi2uclid.1.gz share/man/man1/murphi2xml.1.gz share/man/man1/rumur-run.1.gz