source
aarch64-darwin.pkgs-lean-ctx
· build #2396
· raw
1structuredAttrs is enabled23trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.9.18.tar.gz4 % Total % Received % Xferd Average Speed Time Time Time Current5 Dload Upload Total Spent Left Speed6 0 0 0 0 0 0 0 0 07100 13.06M 0 13.06M 0 0 9.03M 0 00:01 10.71M8unpacking source archive /nix/var/nix/builds/nix-95255-3806270042/download.tar.gz