4kusto/vie - Change UFZE2ZUJYMC4V7GKTSMKL7HNFTS3PY76OYGML7CGLU33Y66JKUEQC

text editor inspired vim and yi

update flake.nix: Basically, we are going to use lean4 from elan.

Created by 4kusto on March 9, 2026

UFZE2ZUJYMC4V7GKTSMKL7HNFTS3PY76OYGML7CGLU33Y66JKUEQC

Dependencies

[2] MESNWCLGM5N5HTO35HVLZTJDJ2BE74MHBRWXISACW7L5FNAB3LNAC

In channels

main

Change contents

Deletion in flake.nix at line 32 [2.448]
B:BD[2.1183] → [2.1183:1210]
```
                pkgs.lean4
```