summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2026-03-09gnu: Remove lean.Andreas Enge
2026-02-25gnu: python-mathlibtools: Update to 1.3.2.Sharlatan Hellseher
2026-02-25gnu: lean4: Update to 4.28.0.Lîm Tsú-thuàn
2026-02-07gnu: python-mathlibtools: Fix build.Sharlatan Hellseher
2025-12-27gnu: lean4: Fix silent install failureLuca Di Sera
2025-09-27gnu: python-mathlibtools: Switch to pyproject.Nicolas Graves
2025-03-26gnu: Add lean4.Danny Milosavljevic
2023-12-11gnu: lean: Update to 3.51.1.Zhu Zihao
2023-12-11gnu: lean: Use G-expressions.Zhu Zihao
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
2020-01-17Update email address for Amin Bandali.Amin Bandali
2020-01-03gnu: Add lean.Amin Bandali
generated by cgit v1.3 (git 2.53.0) at 2026-05-27 22:09:02 +0000