skip to content
1these 3 derivations will be built:2 /nix/store/cg0z5m43jfyn4ilc90jmmffj00zzg5sp-lean-ctx-3.10.2-vendor.drv3 /nix/store/sxnijx7bm9c0nc560rs1s82nabxs6llh-lean-ctx-3.10.2.drv4 /nix/store/77srmx96kkx0r73qg09m4bdqq91h12aq-check-lean-ctx.drv