diff options
| author | Maxim Cournoyer <[email protected]> | 2022-03-11 21:36:32 -0500 |
|---|---|---|
| committer | Maxim Cournoyer <[email protected]> | 2022-03-11 23:34:47 -0500 |
| commit | 46ae78ba45711b43ca5948c9adbd23cc9e773bff (patch) | |
| tree | c79585bbdf64fabce63be45f17405dd657e933b1 /gnu/packages/ruby.scm | |
| parent | 88e44f7e1615579cee27a08bcde31248e65c1178 (diff) | |
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 <[email protected]>
Diffstat (limited to 'gnu/packages/ruby.scm')
0 files changed, 0 insertions, 0 deletions