summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2021-12-13gnu: Simplify package inputs....This commit was obtained by running: ./pre-inst-env guix style without any additional argument. Ludovic Courtès
2020-11-26gnu: lean: Trim synopsis....* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name. Tobias Geerinckx-Rice
2020-11-26gnu: lean: Update to 3.23.0....* gnu/packages/lean.scm (lean): Update to 3.23.0. Tobias Geerinckx-Rice
2020-07-19gnu: 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-19gnu: lean: Update to 3.17.1....* gnu/packages/lean.scm (lean): Update to 3.17.1. Brett Gilio
2020-03-28Update 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-01-17Update 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-03gnu: 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