setup
aarch64-linux.pkgs-lean-ctx
· build #2066
· raw
1these 4 derivations will be built:2 /nix/store/jldcy285qjipsywhfrsvqkg65z2gncrp-source.drv3 /nix/store/fv848qmj0y4rz4w8xyp0i8ip383mg1gj-lean-ctx-3.9.15-vendor-staging.drv4 /nix/store/hl33anasqhh0n4pgzghsvb6i0xl1vk23-lean-ctx-3.9.15-vendor.drv5 /nix/store/fqrdz08xmx73hbhwgz4sva5qhvjyj5sc-lean-ctx-3.9.15.drv