diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2025-07-25 00:09:15 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-25 11:32:13 +0100 |
| commit | 03977d42b4b163d64c83d27df910a012f3386a39 (patch) | |
| tree | 4343089612f0afb523babe6284cfbd8199c93ab5 /gnu/packages/python-xyz.scm | |
| parent | eefaf173d6d2b6fb8c6e0efe0bd64f8799de8fba (diff) | |
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 <sharlatanus@gmail.com>
Diffstat (limited to 'gnu/packages/python-xyz.scm')
| -rw-r--r-- | gnu/packages/python-xyz.scm | 8 |
1 files 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 |