setup
aarch64-linux.pkgs-lean-ctx
· build #2011
· raw
1these 4 derivations will be built:2 /nix/store/wbz097a4slv8v4h914q563l3qgrjaa6v-source.drv3 /nix/store/4v6dcsv9fgnpyrjwg6giip1vvznmqda3-lean-ctx-3.9.14-vendor-staging.drv4 /nix/store/77a9194in3gjybvvai35iwhqahpbpkg7-lean-ctx-3.9.14-vendor.drv5 /nix/store/14apb6pqrp303gp7fzdl0grhz1fk2ivi-lean-ctx-3.9.14.drv