/gnu/bootloader/

> index : guix
Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2023-12-11gnu: lean: Update to 3.51.1....Zhu Zihao
2023-12-11gnu: lean: Use G-expressions....Zhu Zihao