nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: cubicle: Fix evaluation. 

* gnu/packages/maths.scm (cubicle)[native-inputs]: Retrieve WHICH from
(gnu packages base).
This commit is contained in:
Marius Bakke 2017-08-07 01:52:31 +02:00
parent cda20ee816
commit 83fef82b7c
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gnu/packages/maths.scm
View File

@ -3212,7 +3212,7 @@ theories} (SMT) solver. It provides a C/C++ API.")
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("ocaml" ,ocaml) `(("ocaml" ,ocaml)
("which" ,which))) ("which" ,(@@ (gnu packages base) which))))
(propagated-inputs (propagated-inputs
`(("z3" ,z3))) `(("z3" ,z3)))
(arguments (arguments