git: 0b720c446810 - main - math/rumur: update 2025.08.31 → 2026.03.11

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=0b720c446810a6f8090bd0733d2c83f2639a3763

commit 0b720c446810a6f8090bd0733d2c83f2639a3763
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-03-14 18:55:25 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
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