diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2017-08-07 01:52:31 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2017-08-07 12:02:33 +0200 |
| commit | 83fef82b7c0f9b8c57e072281ef9d4518d854350 (patch) | |
| tree | 598600683af9ba36b330213bca5345fc4627bf4c /gnu/packages/maths.scm | |
| parent | cda20ee816c05adf5a55d4e70baeed8f441af3de (diff) | |
| download | patches-83fef82b7c0f9b8c57e072281ef9d4518d854350.tar patches-83fef82b7c0f9b8c57e072281ef9d4518d854350.tar.gz | |
gnu: cubicle: Fix evaluation.
* gnu/packages/maths.scm (cubicle)[native-inputs]: Retrieve WHICH from
(gnu packages base).
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index e19c8edc82..e204588dd5 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 |