diff options
Diffstat (limited to 'gnu/packages/python-xyz.scm')
| -rw-r--r-- | gnu/packages/python-xyz.scm | 1 |
1 files changed, 1 insertions, 0 deletions
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 |