mbakke pushed a commit to branch master
in repository guix.
commit 83fef82b7c0f9b8c57e072281ef9d4518d854350
Author: Marius Bakke <mba...@fastmail.com>
Date: Mon Aug 7 01:52:31 2017 +0200
gnu: cubicle: Fix evaluation.
* gnu/packages/maths.scm (cubicle)[native-inputs]: Retrieve WHICH from
(gnu packages base).
---
gnu/packages/maths.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index e19c8ed..e204588 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3212,7 +3212,7 @@ theories} (SMT) solver. It provides a C/C++ API.")
(build-system gnu-build-system)
(native-inputs
`(("ocaml" ,ocaml)
- ("which" ,which)))
+ ("which" ,(@@ (gnu packages base) which))))
(propagated-inputs
`(("z3" ,z3)))
(arguments
