source
checks.aarch64-darwin.pkgs-lean-ctx
· build #10030
· raw
1mac02: building vs6782bfrq51yp2y89x0p8pnadaxk8p0-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 7.25M 0 7.25M 0 0 5.24M 0 00:01 7.08M14100 14.38M 0 14.38M 0 0 6.28M 0 00:02 7.08M15100 14.38M 0 14.38M 0 0 6.28M 0 00:02 7.08M16100 14.38M 0 14.38M 0 0 6.28M 0 00:02 7.08M17unpacking source archive /nix/var/nix/builds/nix-93241-4194202280/download.tar.gz