/gnu/

log/gnu/packages/lean.scm?id=3d0cdf963820da665d71987c15cae6e503efc701'>lean.scm
AgeCommit message (Expand)Author
2022-03-16gnu: Add python-mathlibtools.Pradana AUMARS
2022-03-11gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.Maxim Cournoyer
2021-12-13gnu: Simplify package inputs.Ludovic Courtès
2020-11-26gnu: lean: Trim synopsis.Tobias Geerinckx-Rice
2020-11-26gnu: lean: Update to 3.23.0.Tobias Geerinckx-Rice
2020-07-19gnu: lean: Disable test cases for i686 and armhf.Brett Gilio
2020-07-19gnu: lean: Update to 3.17.1.Brett Gilio
2020-03-28Update email address and Savannah handle for Amin Bandali.Amin Bandali