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