nixbot

builds
sign in

setup aarch64-darwin.pkgs-lean-ctx · build #2758 · raw

1these 2 derivations will be built:2 /nix/store/7rn44bka91yhplvng9s9f8vgwyjvglwd-lean-ctx-3.9.18-vendor.drv3 /nix/store/jphzskaalli7r00kh4zh24sk46ac7y3a-lean-ctx-3.9.18.drv