From nobody Sat Mar 14 19:35:00 2026 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 4fYBQD53CRz6VFFr for ; Sat, 14 Mar 2026 19:35:00 +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 "R12" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4fYBQD3BMgz4743 for ; Sat, 14 Mar 2026 19:35:00 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1773516900; 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=XpJxdV3bP51tdt1H+N4lDNVaC5DWfx/VcFUmTRlQf1M=; b=dO3Qzr9oLU1ymkzbm9wmbpxJWPPdgfRARDBYVnJ+WjDZNCvLcFNEYSqEe8qDS3wJz5EuFe 2ST2pslDBY0Hbu+v6QzVQjsHHsbDfoA27ICnOaYnXgJLPraqoR9slYIR6unSzSSNRuv+Pn AVfvgHaXr3SrZK10gp2S1r3R7sAlxwRCDLbDk58Fqy4F95p+9foWr9hGL0Q1BlYeq3UD6M mqZ9nBTpFo1Dq8RykBB2YSdIPAX+APIgSgS5NylIa4RLRkEwnGInBb7pmFChFbQ5bvpcoa wkdIIfnpo7w2nueDd1t38XphMyXVEqtbl8Q+PqpCB39E2SVRxuBj6VLenbEInw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1773516900; a=rsa-sha256; cv=none; b=mxvjZbAgaZKAS2YVkeWP04WsjefopvUZcmgayclQZ/sFP0nloF3dhHBbMjZORmFfk9jEDe Z58Dz9oF79uWA9IM9c65DDN35zbiIj5wq3UoWfurXIgBxPBEvnDE3/C7GmtxmsQqAxYpNy 6CoeZ1Kb/YTKOMsmI0ryETkH24xGmUsDVJI4VEJZac92GqkOBp6D9XyqQbSYRBQJrjTWgS H2SXp2n2j4ggLGiaFUNUXpDO7OmLbzSfEomvr/aklt9axkeepyKOvu9JSMzYpz422OPemf Xq/Ibua+LDyk4Spbx6hM74DsLYqGKAhMJGTtY7QiJ+H4KjKT+fqUi4PM7lWfxA== 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=1773516900; 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=XpJxdV3bP51tdt1H+N4lDNVaC5DWfx/VcFUmTRlQf1M=; b=ZiNrAXhLvtvmZAj2HJR7FB7T0rCraFV0FN3I7hz+q5cY2aK6H5n/Mfa2QU1pILGmphZTFX fZAmdFi248mRaTA3RRti90sotBfV+A6hsSxMfsHqnm7waohpoZSQY4cKalDm9AIFJGOCIw 67LeUyLvj5/RRP+idY2hdnrgW6qr5GIQH62KiCNWn+pUJUhSDrMO4w1ESWmunfxIZ0+gqd a2zwY4hjnZ+ut838K+J250vwHYemE0IOnF9gNvIpB22vaPT29FhpauVm7jHhsGz19Ivfql oFMR2jHh7Ngf6uru9pfNMkty6AEDw8d2DCNnUINmOY+Rcw7s/D4wJVgtJCFSIw== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4fYBQD2hRYz1tv for ; Sat, 14 Mar 2026 19:35:00 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 39d83 by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Sat, 14 Mar 2026 19:35:00 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 0b720c446810 - main - math/rumur: update 2025.0=?utf-8?Q?8.31 =E2=86=92?= 2026.03.11 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: 0b720c446810a6f8090bd0733d2c83f2639a3763 Auto-Submitted: auto-generated Date: Sat, 14 Mar 2026 19:35:00 +0000 Message-Id: <69b5b864.39d83.40de6cda@gitrepo.freebsd.org> The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=0b720c446810a6f8090bd0733d2c83f2639a3763 commit 0b720c446810a6f8090bd0733d2c83f2639a3763 Author: Yuri Victorovich AuthorDate: 2026-03-14 18:55:25 +0000 Commit: Yuri Victorovich CommitDate: 2026-03-14 19:34:24 +0000 math/rumur: update 2025.08.31 → 2026.03.11 Reported by: portscout --- math/rumur/Makefile | 2 +- math/rumur/distinfo | 6 ++-- math/rumur/files/patch-tests_tests.py | 56 +++++++++++++++++++++++++++++++++++ math/rumur/pkg-plist | 2 ++ 4 files changed, 62 insertions(+), 4 deletions(-) diff --git a/math/rumur/Makefile b/math/rumur/Makefile index eed17408c9d6..b0c10f58e492 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -1,6 +1,6 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2025.08.31 +DISTVERSION= 2026.03.11 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/rumur/distinfo b/math/rumur/distinfo index 349a57374998..a94d80c516c9 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1762710274 -SHA256 (Smattr-rumur-v2025.08.31_GH0.tar.gz) = 5be73475ec4dd9f59596c62e84a428ebe1efead9b8ded4e9bfda70c4b07651ce -SIZE (Smattr-rumur-v2025.08.31_GH0.tar.gz) = 354447 +TIMESTAMP = 1773511840 +SHA256 (Smattr-rumur-v2026.03.11_GH0.tar.gz) = 62c05ed7b73dc31cea80bdcab3ec0ef7cdfe47af3cc03c5845d521b0494fb15d +SIZE (Smattr-rumur-v2026.03.11_GH0.tar.gz) = 355190 diff --git a/math/rumur/files/patch-tests_tests.py b/math/rumur/files/patch-tests_tests.py new file mode 100644 index 000000000000..c2c9b2a9387b --- /dev/null +++ b/math/rumur/files/patch-tests_tests.py @@ -0,0 +1,56 @@ +--- tests/tests.py.orig2026-03-14 18:12:00 UTC ++++ tests/tests.py +@@ -431,7 +431,7 @@ def print_info(): + print(" smt_args() = {}".format(smt_args())) + + +-def parse_test_options( ++def _parse_test_options( + src, debug=False, multithreaded=False, xml=False + ): # pylint:disable=unused-argument + """ +@@ -1104,7 +1104,7 @@ def test_murphi2c(model): + """test cases for murphi2c""" + + testcase = Path(__file__).parent / model +- tweaks = dict(parse_test_options(testcase)) ++ tweaks = dict(_parse_test_options(testcase)) + + # there is no C equivalent of isundefined, because an implicit assumption in the C + # representation is that you do not rely on undefined values +@@ -1151,7 +1151,7 @@ def test_murphi2c_header(model, tmp_path): + """test cases for murphi2c --header""" + + testcase = Path(__file__).parent / model +- tweaks = dict(parse_test_options(testcase)) ++ tweaks = dict(_parse_test_options(testcase)) + + # there is no C equivalent of isundefined, because an implicit assumption in the C + # representation is that you do not rely on undefined values +@@ -1216,7 +1216,7 @@ def test_murphi2xml(model): + """test cases for murphi2xml""" + + testcase = Path(__file__).parent / model +- tweaks = dict(parse_test_options(testcase)) ++ tweaks = dict(_parse_test_options(testcase)) + + args = ["murphi2xml", "--", testcase] + if has_valgrind(): +@@ -1257,7 +1257,7 @@ def test_murphi2uclid(model, tmp_path): + """test cases for murphi2uclid""" + + testcase = Path(__file__).parent / model +- tweaks = dict(parse_test_options(testcase)) ++ tweaks = dict(_parse_test_options(testcase)) + + # test cases for which murphi2uclid is expected to fail + murphi2uclid_fail = ( +@@ -1429,7 +1429,7 @@ def test_rumur(model, multithreaded, mode, optimised) + testcase = Path(__file__).parent / model + debug = mode == "debug" + xml = mode == "XML" +- tweaks = dict(parse_test_options(testcase, debug, multithreaded, xml)) ++ tweaks = dict(_parse_test_options(testcase, debug, multithreaded, xml)) + + if tweaks.get("skip_reason") is not None: + pytest.skip(tweaks["skip_reason"]) diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist index d460ee5f94f6..ce18eaf64ba3 100644 --- a/math/rumur/pkg-plist +++ b/math/rumur/pkg-plist @@ -55,3 +55,5 @@ share/man/man1/rumur.1.gz %%DATADIR%%/lib/v2025.02.02/_set %%DATADIR%%/lib/v2025.08.31/_list %%DATADIR%%/lib/v2025.08.31/_set +%%DATADIR%%/lib/v2026.0%%PYTHON_VER%%/_list +%%DATADIR%%/lib/v2026.0%%PYTHON_VER%%/_set