amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: python-logical-unification: Enable tests.

Browse source 
* 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>
This commit is contained in:
Nicolas Graves 2025-07-25 00:09:15 +02:00 • committed by Sharlatan Hellseher
parent eefaf173d6
commit 03977d42b4
No known key found for this signature in database
GPG key ID: 76D727BFF62CD2B5
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
gnu/packages/python-xyz.scm
View file

@ -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