setup
aarch64-darwin.pkgs-lean-ctx
· build #2396
· raw
1these 4 derivations will be built:2 /nix/store/l9nr1fz01ifl7h3rascldgpz6nl1nwr2-source.drv3 /nix/store/6xs1fjir8fwxnc43mg5ajlm1dx03c2wd-lean-ctx-3.9.18-vendor-staging.drv4 /nix/store/8l1vwrkyrd8n1krp9vvfnz44cyqg5864-lean-ctx-3.9.18-vendor.drv5 /nix/store/691ga7615nv47gwz3fbsgy2x9702z4hd-lean-ctx-3.9.18.drv