From 03977d42b4b163d64c83d27df910a012f3386a39 Mon Sep 17 00:00:00 2001 From: Nicolas Graves Date: Fri, 25 Jul 2025 00:09:15 +0200 Subject: [PATCH] gnu: python-logical-unification: Enable tests. * gnu/packages/python-xyz.scm (python-logical-unification): [native-inputs]: Add python-pytest, python-pytest-benchmark. Change-Id: I1b22152956b6e05517735f6eb02e08ff1831cb43 Signed-off-by: Sharlatan Hellseher --- gnu/packages/python-xyz.scm | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 0546e2653accaca3c2f9fcdbda95d3edfa1450ba..51447aae615308106edad5f2880174022cd1a545 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -36486,9 +36486,11 @@ needed and registers the function with its annotations.") (sha256 (base32 "1kvhvf1p9a5733pqb15k4fhwrfnj5ijsv6yn92mxzaa0zh89z7g3")))) (build-system pyproject-build-system) - (native-inputs (list python-setuptools python-wheel)) - (propagated-inputs - (list python-multipledispatch python-toolz)) + (native-inputs (list python-pytest + python-pytest-benchmark + python-setuptools + python-wheel)) + (propagated-inputs (list python-multipledispatch python-toolz)) (home-page "https://github.com/pythological/unification/") (synopsis "Logical unification in Python for solving symbolic expressions") (description "This library provides algorithms and data types for solving