guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 03977d42b4b163d64c83d27df910a012f3386a39
Author: Nicolas Graves <[email protected]>
AuthorDate: Fri Jul 25 00:09:15 2025 +0200
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 <[email protected]>
---
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 0546e2653a..51447aae61 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
