diff options
Diffstat (limited to 'gnu/packages/lean.scm')
| -rw-r--r-- | gnu/packages/lean.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index cc593291fd..6ac7f1668a 100644 --- a/gnu/packages/lean.scm +++ b/gnu/packages/lean.scm @@ -40,7 +40,7 @@ "09mklc1p6ms1jayg2f89hqfmhca3h5744lli936l38ypn1d00sxx")))) (build-system cmake-build-system) (inputs - `(("gmp" ,gmp))) + (list gmp)) (arguments `(#:build-type "Release" ; default upstream build type ;; XXX: Test phases currently fail on 32-bit sytems. |