aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
Commit message (Collapse)AuthorAge
* gnu: lean: Update to 3.51.1.Zhu Zihao2023-12-11
| | | | | | | | | | * gnu/packages/lean.scm (lean): Update to 3.51.1. [home-page]: Use new home page. [arguments]<#:phases>: Remove stale phase 'patch-tests-shebangs'. [inputs]: Remove bash-minimal. Change-Id: Ib90a124b4a6b06fb30223ad4b9254249e56dd086 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: lean: Use G-expressions.Zhu Zihao2023-12-11
| | | | | | * gnu/packages/lean.scm (lean)[arguments]: Use G-expressions. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add python-mathlibtools.Pradana AUMARS2022-03-16
| | | | | | * gnu/packages/lean.scm (python-mathlibtools): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.Maxim Cournoyer2022-03-11
| | | | | | | | | * gnu/packages/lean.scm (lean): Update to 3.41.0. [phases]: Remove trailing #t. [tests?] Set to #false when cross-compiling. [inputs]: Add bash-minimal. Co-authored-by: Maxime Devos <maximedevos@telenet.be>
* gnu: Simplify package inputs.Ludovic Courtès2021-12-13
| | | | | | | | This commit was obtained by running: ./pre-inst-env guix style without any additional argument.
* gnu: lean: Trim synopsis.Tobias Geerinckx-Rice2020-11-26
| | | | * gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name.
* gnu: lean: Update to 3.23.0.Tobias Geerinckx-Rice2020-11-26
| | | | * gnu/packages/lean.scm (lean): Update to 3.23.0.
* gnu: lean: Disable test cases for i686 and armhf.Brett Gilio2020-07-19
| | | | | | * 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.
* gnu: lean: Update to 3.17.1.Brett Gilio2020-07-19
| | | | * gnu/packages/lean.scm (lean): Update to 3.17.1.
* Update email address and Savannah handle for Amin Bandali.Amin Bandali2020-03-28
| | | | | | | * .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.
* Update email address for Amin Bandali.Amin Bandali2020-01-17
| | | | | | | | | * .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>
* gnu: Add lean.Amin Bandali2020-01-03
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org>