source
checks.aarch64-darwin.pkgs-lean-ctx
· build #10081
· raw
1mac02: building wqad450kzrjh4gcndkm8wan8iqw5ngp3-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.2.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 8.00M 0 8.00M 0 0 6.33M 0 00:01 7.81M14100 14.38M 0 14.38M 0 0 7.11M 0 00:02 7.81M15100 14.38M 0 14.38M 0 0 7.11M 0 00:02 7.81M16100 14.38M 0 14.38M 0 0 7.11M 0 00:02 7.81M17unpacking source archive /nix/var/nix/builds/nix-99536-319380572/download.tar.gz