diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-03-11 21:36:32 -0500 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-03-11 23:34:47 -0500 |
| commit | 46ae78ba45711b43ca5948c9adbd23cc9e773bff (patch) | |
| tree | c79585bbdf64fabce63be45f17405dd657e933b1 /guix.scm | |
| parent | 88e44f7e1615579cee27a08bcde31248e65c1178 (diff) | |
| download | guix-46ae78ba45711b43ca5948c9adbd23cc9e773bff.tar.gz | |
gnu: 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>
Diffstat (limited to 'guix.scm')
0 files changed, 0 insertions, 0 deletions