rekado pushed a commit to branch master
in repository guix.
commit e224ee0227e9cb83000ec10232949a1922dfba18
Author: Ricardo Wurmus <[email protected]>
AuthorDate: Sun Jan 12 21:39:07 2025 +0100
gnu: python-pysmt: Add missing inputs.
* gnu/packages/python-xyz.scm (python-pysmt)[native-inputs]: Add
python-setuptools and python-wheel.
Change-Id: Ia2efffee11ed484768de1e85f087eda8fbd369d3
---
gnu/packages/python-xyz.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index eb5fec9470..d06e4e2b83 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -35945,7 +35945,7 @@ SMT solvers and is built on top of the Z3 solver.")
(add-before 'check 'set-pysmt-solver
(lambda _
(setenv "PYSMT_SOLVER" "z3"))))))
- (native-inputs (list python-pytest))
+ (native-inputs (list python-pytest python-setuptools python-wheel))
(propagated-inputs (list z3))
(home-page "https://github.com/pysmt/pysmt";)
(synopsis
