nixbot

builds
sign in

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

1these 2 derivations will be built:2 /nix/store/nyaph3ih74blynm66bj7r9bbvln4c0gk-lean-ctx-3.10.0-vendor.drv3 /nix/store/91ni988cnz2284brp7h4w2f3lnrgrx9b-lean-ctx-3.10.0.drv