guix_mirror_bot pushed a commit to branch python-team
in repository guix.
commit 4804ff8aded008dcea1d0bc1d5139493cbcc3fba
Author: Nicolas Graves <[email protected]>
AuthorDate: Thu Jan 29 09:49:35 2026 +0100
gnu: ocaml-z3: Drop custom imported-modules.
* gnu/packages/maths.scm (ocaml-z3)[arguments]
<#:imported-modules, #:modules>: Drop them.
Change-Id: I30a53824a7cbc7026f119f5bdbdf5da4ec3d5b64
Signed-off-by: Sharlatan Hellseher <[email protected]>
---
gnu/packages/maths.scm | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 4eafd3e458..5ff01fdbb3 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -8667,12 +8667,7 @@ theories} (SMT) solver. It provides a C/C++ API, as
well as Python bindings.")
(name "ocaml-z3")
(build-system gnu-build-system)
(arguments
- `(#:imported-modules ((guix build python-build-system)
- ,@%default-gnu-imported-modules)
- #:modules (((guix build python-build-system) #:select (site-packages))
- (guix build gnu-build-system)
- (guix build utils))
- #:tests? #f; no ml tests
+ `(#:tests? #f; no ml tests
#:phases
(modify-phases %standard-phases
(add-before 'configure 'bootstrap
