diff options
| author | Mark H Weaver <mhw@netris.org> | 2017-08-07 16:45:16 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2017-08-07 16:45:16 -0400 |
| commit | 2d9495da23cb110dd70eac67637f8e362133d021 (patch) | |
| tree | 10481fdf5b7ff17df77dc506d7803fc344a19fdd /gnu/packages/maths.scm | |
| parent | c97fbf55e7fe6c6dcf5620032f602e2c55592d73 (diff) | |
| parent | a1aa5dabaa5d570710da7190a3c3dca5442b9daa (diff) | |
| download | patches-2d9495da23cb110dd70eac67637f8e362133d021.tar patches-2d9495da23cb110dd70eac67637f8e362133d021.tar.gz | |
Merge branch 'master' into core-updates
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 45884c20ff..e29a3864df 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 |