setup
aarch64-linux.pkgs-lean-ctx
· build #2396
· raw
1these 4 derivations will be built:2 /nix/store/6683iammlj24csiijf30pm4jbchk6aic-source.drv3 /nix/store/mjwlfim3wq65jjxj5jwxd3a8gl6fmps7-lean-ctx-3.9.18-vendor-staging.drv4 /nix/store/83z8zbhbh133mfv53qj70p778qgj6vp3-lean-ctx-3.9.18-vendor.drv5 /nix/store/xrl2ilinc23wsjjncs0vfva3vq6pxrcg-lean-ctx-3.9.18.drv