/gnu/

mit/gnu/packages/lean.scm?id=ef57c59046c1eb17484379a01dab5ceff6325e20'>commitdiff
path: root/gnu/packages/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