/po/

nu/packages/lean.scm?h=koszko' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2022-03-16gnu: Add python-mathlibtools....* gnu/packages/lean.scm (python-mathlibtools): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Pradana AUMARS
2022-03-11gnu: lean: Update to 3.41.0 and fixes toward cross-compilation....* gnu/packages/lean.scm (lean): Update to 3.41.0. [phases]: Remove trailing #t. [tests?] Set to #false when cross-compiling. [inputs]: Add bash-minimal. Co-authored-by: Maxime Devos <maximedevos@telenet.be> Maxim Cournoyer
2021-12-13gnu: Simplify package inputs....This commit was obtained by running: ./pre-inst-env guix style without any additional argument. Ludovic Courtès