source
checks.aarch64-darwin.pkgs-lean-ctx
· build #11025
· raw
1mac02: building xxf6adyp2j3s5i0700iiiylhcxa2vcyg-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.5.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 6.25M 0 6.25M 0 0 5.00M 0 00:01 6.14M14100 14.26M 0 14.26M 0 0 6.30M 0 00:02 7.01M15100 15.98M 0 15.98M 0 0 6.46M 0 00:02 7.01M16100 15.98M 0 15.98M 0 0 6.46M 0 00:02 7.01M17100 15.98M 0 15.98M 0 0 6.46M 0 00:02 7.01M18unpacking source archive /nix/var/nix/builds/nix-90282-1842121573/download.tar.gz