setup
aarch64-darwin.pkgs-lean-ctx
· build #3283
· raw
1these 4 derivations will be built:2 /nix/store/kfdll0c2v503sm9cbiwvknbq2ic04hvv-source.drv3 /nix/store/ns0asskdwc9l9svzl2g7hz52rf06vz7x-lean-ctx-3.9.19-vendor-staging.drv4 /nix/store/xhf5caqcg7329dm1bg5zvx7r1agpqklg-lean-ctx-3.9.19-vendor.drv5 /nix/store/cx21x921wy973fgbfaa6hqhp27wy7mdm-lean-ctx-3.9.19.drv