source
checks.aarch64-darwin.pkgs-lean-ctx
· build #6909
· raw
1mac02: building 4ny1lsfx4bykfwvfxsscdx5rzmqr7iap-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.11.0.tar.gz5 % Total % Received % Xferd Average Speed Time Time Time Current6 Dload Upload Total Spent Left Speed78 0 0 0 0 0 0 0 0 09 0 0 0 0 0 0 0 0 010 0 0 0 0 0 0 0 0 01112 0 0 0 0 0 0 0 0 013100 9.75M 0 9.75M 0 0 7.86M 0 00:01 9.71M14100 18.00M 0 18.00M 0 0 8.01M 0 00:02 8.95M15100 19.08M 0 19.08M 0 0 8.14M 0 00:02 8.95M16100 19.08M 0 19.08M 0 0 8.14M 0 00:02 8.95M17100 19.08M 0 19.08M 0 0 8.14M 0 00:02 8.95M18unpacking source archive /nix/var/nix/builds/nix-40967-3327454848/download.tar.gz