diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-12-13 17:18:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-12-13 17:48:25 +0100 |
| commit | 8394619baceb118df92e355377fd543bb1aa501a (patch) | |
| tree | 504f07c2a9f88596a305b59ef45f941062426a52 /gnu/packages/lean.scm | |
| parent | aca2defe0172868295941fd9f0e97886f6e9b2d4 (diff) | |
| download | guix-patches-8394619baceb118df92e355377fd543bb1aa501a.tar guix-patches-8394619baceb118df92e355377fd543bb1aa501a.tar.gz | |
gnu: Simplify package inputs.
This commit was obtained by running:
./pre-inst-env guix style
without any additional argument.
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. |