skip to content
1these 3 derivations will be built:2 /nix/store/achvsbafszykn2q26sh6wk2dz2ifxcxb-lean-ctx-3.11.4-vendor.drv3 /nix/store/pxsmk6cfpyiws48y0319rp8m7qqzdwf8-lean-ctx-3.11.4.drv4 /nix/store/39kq97c2sn906abh97z84lvmndj0nd9j-check-lean-ctx.drv