source
checks.aarch64-darwin.pkgs-lean-ctx
· build #6947
· raw
1mac02: building 2ihdkq2vrr87831mc5vydzqdlzbbwwaw-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 8.31M 0 8.31M 0 0 6.35M 0 00:01 8.26M14100 17.25M 0 17.25M 0 0 7.43M 0 00:02 8.54M15100 19.09M 0 19.09M 0 0 7.54M 0 00:02 8.54M16100 19.09M 0 19.09M 0 0 7.54M 0 00:02 8.54M17100 19.09M 0 19.09M 0 0 7.54M 0 00:02 8.54M18unpacking source archive /nix/var/nix/builds/nix-16274-2482999586/download.tar.gz