diff options
| author | Maxim Cournoyer <[email protected]> | 2022-01-25 22:07:13 -0500 |
|---|---|---|
| committer | Maxim Cournoyer <[email protected]> | 2022-01-25 22:07:13 -0500 |
| commit | 1a5302435ff0d2822b823f5a6fe01faa7a85c629 (patch) | |
| tree | ac7810c88b560532f22d2bab2e59609cd7305c21 /gnu/packages/lean.scm | |
| parent | 3ff2ac4980dacf10087e4b42bd9fbc490591900c (diff) | |
| parent | 070b8a893febd6e7d8b2b7c8c4dcebacf7845aa9 (diff) | |
Merge branch 'master' into staging.
With "conflicts" solved (all in favor of master except git) in:
gnu/local.mk
gnu/packages/databases.scm
gnu/packages/glib.scm
gnu/packages/gnome.scm
gnu/packages/gnupg.scm
gnu/packages/gnuzilla.scm
gnu/packages/graphics.scm
gnu/packages/gstreamer.scm
gnu/packages/gtk.scm
gnu/packages/linux.scm
gnu/packages/machine-learning.scm
gnu/packages/networking.scm
gnu/packages/polkit.scm
gnu/packages/pulseaudio.scm
gnu/packages/rpc.scm
gnu/packages/rust.scm
gnu/packages/version-control.scm
gnu/packages/w3m.scm
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. |