source
checks.aarch64-darwin.pkgs-lean-ctx
· build #7199
· raw
1mac02: building d1q4vrkp682pz7jd7jawylgsprjchsfs-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.11.2.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 10.09M 0 10.09M 0 0 8.12M 0 00:01 9.87M14100 18.50M 0 18.50M 0 0 8.15M 0 00:02 9.03M15100 19.18M 0 19.18M 0 0 8.24M 0 00:02 9.03M16100 19.18M 0 19.18M 0 0 8.24M 0 00:02 9.03M17100 19.18M 0 19.18M 0 0 8.24M 0 00:02 9.03M18unpacking source archive /nix/var/nix/builds/nix-52285-3166031029/download.tar.gz