skip to content
1these 3 derivations will be built:2 /nix/store/34rkbzxpfljki1hrmrywr8x1wn9wf6jz-lean-ctx-3.11.2-vendor.drv3 /nix/store/mbl13r3wkmnhazkzcsk37cwy851bxb6b-lean-ctx-3.11.2.drv4 /nix/store/bklrbcprcqz80chzzyas2a5cwi7g9pag-check-lean-ctx.drv