source
checks.aarch64-darwin.pkgs-lean-ctx
· build #6993
· raw
1mac02: building pg535nmpm55hymn6qn21c0105b4asjb1-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 9.75M 0 9.75M 0 0 7.67M 0 00:01 9.65M14100 18.00M 0 18.00M 0 0 7.88M 0 00:02 8.89M15100 19.09M 0 19.09M 0 0 8.00M 0 00:02 8.89M16100 19.09M 0 19.09M 0 0 8.00M 0 00:02 8.89M17100 19.09M 0 19.09M 0 0 8.00M 0 00:02 8.89M18unpacking source archive /nix/var/nix/builds/nix-15859-3079296153/download.tar.gz