setup
aarch64-linux.pkgs-lean-ctx
· build #2099
· raw
1these 4 derivations will be built:2 /nix/store/bzv0x2kk6a97vjxrkgy0vcw5zdn6gif5-source.drv3 /nix/store/vp80wzylk9i4mqv9nx8g9r0q09xrpg45-lean-ctx-3.9.17-vendor-staging.drv4 /nix/store/yjq0dzidy6kwmxyd0aycxhgga2b8r396-lean-ctx-3.9.17-vendor.drv5 /nix/store/m6c0k7yyvisl7psyhwpbsq5ms44qxg0k-lean-ctx-3.9.17.drv