/gnu/bootloader/

eader'> cgit logo index : guix
Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
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