| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | gnu: lean: Update to 3.51.1.•••* 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>
| Zhu Zihao | 2023-12-11 | 1 | -17/+7 |
| * | gnu: lean: Use G-expressions.•••* gnu/packages/lean.scm (lean)[arguments]: Use G-expressions.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Zhu Zihao | 2023-12-11 | 1 | -23/+26 |
| * | gnu: Add python-mathlibtools.•••* gnu/packages/lean.scm (python-mathlibtools): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Pradana AUMARS | 2022-03-16 | 1 | -1/+44 |
| * | gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.•••* 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>
| Maxim Cournoyer | 2022-03-11 | 1 | -10/+10 |
| * | gnu: Simplify package inputs.•••This commit was obtained by running:
./pre-inst-env guix style
without any additional argument.
| Ludovic Courtès | 2021-12-13 | 1 | -1/+1 |
| * | gnu: lean: Trim synopsis.•••* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name.
| Tobias Geerinckx-Rice | 2020-11-26 | 1 | -1/+1 |
| * | gnu: lean: Update to 3.23.0.•••* gnu/packages/lean.scm (lean): Update to 3.23.0.
| Tobias Geerinckx-Rice | 2020-11-26 | 1 | -2/+3 |
| * | 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.
| Brett Gilio | 2020-07-19 | 1 | -0/+7 |
| * | gnu: lean: Update to 3.17.1.•••* gnu/packages/lean.scm (lean): Update to 3.17.1.
| Brett Gilio | 2020-07-19 | 1 | -2/+3 |
| * | 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.
| Amin Bandali | 2020-03-28 | 1 | -1/+1 |
| * | 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>
| Amin Bandali | 2020-01-17 | 1 | -1/+1 |
| * | 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>
| Amin Bandali | 2020-01-03 | 1 | -0/+65 |
