source
checks.aarch64-darwin.pkgs-lean-ctx
· build #9970
· raw
1mac02: building 43x2k50mskhjb0ppsrgnmvv2rl5vjcav-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.1.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 7.44M 0 7.44M 0 0 5.84M 0 00:01 7.34M14100 14.37M 0 14.37M 0 0 6.79M 0 00:02 7.34M15100 14.37M 0 14.37M 0 0 6.79M 0 00:02 7.34M16100 14.37M 0 14.37M 0 0 6.79M 0 00:02 7.34M17unpacking source archive /nix/var/nix/builds/nix-31788-756167105/download.tar.gz