source
checks.aarch64-darwin.pkgs-lean-ctx
· build #9425
· raw
1mac02: building 1mhs0friibnql7rd2ix3vf2dcgmn4jbm-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.0.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 4.25M 0 4.25M 0 0 3.43M 0 00:01 4.19M14100 15.50M 0 15.50M 0 0 6.83M 0 00:02 7.58M15100 21.84M 0 21.84M 0 0 7.03M 0 00:03 7.58M16100 21.84M 0 21.84M 0 0 7.03M 0 00:03 7.58M17100 21.84M 0 21.84M 0 0 7.03M 0 00:03 7.58M18unpacking source archive /nix/var/nix/builds/nix-7812-782618798/download.tar.gz