Ludovic Courtès
8394619bac
gnu: Simplify package inputs.
...
This commit was obtained by running:
./pre-inst-env guix style
without any additional argument.
2021-12-13 17:48:25 +01:00
Tobias Geerinckx-Rice
1df6f0f085
gnu: lean: Trim synopsis.
...
* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name.
2020-11-26 04:22:51 +01:00
Tobias Geerinckx-Rice
b87051b74a
gnu: lean: Update to 3.23.0.
...
* gnu/packages/lean.scm (lean): Update to 3.23.0.
2020-11-26 04:22:50 +01:00
Brett Gilio
8bbc8accda
gnu: lean: Disable test cases for i686 and armhf.
...
* gnu/packages/lean.scm (lean)[arguments]: Individual test cases are currently
failing for 32-bit architectures. Disable them temporarily pending further
investigation as to resolution.
2020-07-19 20:24:00 -05:00
Brett Gilio
4deab59f5a
gnu: lean: Update to 3.17.1.
...
* gnu/packages/lean.scm (lean): Update to 3.17.1.
2020-07-19 02:29:31 -05:00
Amin Bandali
c2cf286c62
Update email address and Savannah handle for Amin Bandali.
...
* .mailmap, gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fonts.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm,
gnu/packages/maths.scm, gnu/packages/pulseaudio.scm: Update my email address.
* build-aux/git-authenticate.scm: Update my Savannah handle.
2020-03-28 16:30:07 -04:00
Amin Bandali
a3143063ae
Update email address for Amin Bandali.
...
* .mailmap: Add name and email addresses for Amin Bandali.
* gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm:
Update email address for Amin Bandali.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2020-01-17 18:30:33 +01:00
Amin Bandali
db1bc0d92e
gnu: Add lean.
...
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm.
* gnu/packages/lean.scm: New file.
Signed-off-by: Brett Gilio <brettg@gnu.org>
2020-01-03 15:46:53 -06:00
