source
checks.aarch64-darwin.pkgs-lean-ctx
· build #10740
· raw
1mac02: building x701fvkhia5b9biwa70m35qa92a8f1lc-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.3.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.04M 0 7.04M 0 0 5.54M 0 00:01 6.93M14100 14.57M 0 14.57M 0 0 6.41M 0 00:02 7.22M15100 15.84M 0 15.84M 0 0 6.58M 0 00:02 7.22M16100 15.84M 0 15.84M 0 0 6.58M 0 00:02 7.22M17100 15.84M 0 15.84M 0 0 6.58M 0 00:02 7.22M18unpacking source archive /nix/var/nix/builds/nix-58330-3384694361/download.tar.gz