rekado pushed a commit to branch master
in repository guix.
commit ddbe80b85dae6f81a78e7ebbc5a272d4b2823c2c
Author: Ricardo Wurmus <[email protected]>
AuthorDate: Sun Jan 12 21:53:30 2025 +0100
gnu: python-claripy: Add missing inputs.
* gnu/packages/python-xyz.scm (python-claripy)[native-inputs]: Add
python-setuptools and python-wheel.
Change-Id: I3df251ecbb04c1f1a808fbfadb1358a73fc3aadf
---
gnu/packages/python-xyz.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index bd92714d91..7dec04ead1 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -35915,6 +35915,7 @@ to enable all kinds of binary analysis tasks.")
(invoke "python" "-m" "unittest"))))))))
(propagated-inputs (list python-cachetools python-decorator python-pysmt
z3))
+ (native-inputs (list python-setuptools python-wheel))
(home-page "https://github.com/angr/claripy";)
(synopsis "Abstraction layer for constraint solvers")
(description
