nixbot

builds
sign in

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

1these 2 derivations will be built:2 /nix/store/8d5dpkayprm7h1vway2fg95r6i4zllfj-lean-ctx-3.10.0-vendor.drv3 /nix/store/a2ayx1880d1r5gah6ad6k5221w7qg93p-lean-ctx-3.10.0.drv