source
checks.aarch64-darwin.pkgs-lean-ctx
· build #5657
· raw
1structuredAttrs is enabled23trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.10.3.tar.gz4 % Total % Received % Xferd Average Speed Time Time Time Current5 Dload Upload Total Spent Left Speed67 0 0 0 0 0 0 0 0 08 0 0 0 0 0 0 0 0 09 0 0 0 0 0 0 0 0 01011 0 0 0 0 0 0 0 0 012100 7.28M 0 7.28M 0 0 5.91M 0 00:01 7.28M13100 15.77M 0 15.77M 0 0 7.01M 0 00:02 7.82M14100 17.04M 0 17.04M 0 0 7.15M 0 00:02 7.82M15100 17.04M 0 17.04M 0 0 7.15M 0 00:02 7.82M16100 17.04M 0 17.04M 0 0 7.15M 0 00:02 7.82M17unpacking source archive /nix/var/nix/builds/nix-44202-121459636/download.tar.gz