source
aarch64-darwin.pkgs-lean-ctx
· build #3283
· raw
1structuredAttrs is enabled23trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.9.19.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 9.53M 0 9.53M 0 0 7.87M 0 00:01 9.54M13100 13.68M 0 13.68M 0 0 8.09M 0 00:01 9.54M14100 13.68M 0 13.68M 0 0 8.09M 0 00:01 9.54M15100 13.68M 0 13.68M 0 0 8.09M 0 00:01 9.54M16unpacking source archive /nix/var/nix/builds/nix-19599-2256910909/download.tar.gz