source
checks.aarch64-darwin.pkgs-lean-ctx
· build #10679
· raw
1mac02: building x4fv6bs666vq6q1bg3vrw36g3rj2bvxl-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.3.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 7.02M 0 7.02M 0 0 5.79M 0 00:01 6.97M14100 15.03M 0 15.03M 0 0 6.77M 0 00:02 7.46M15100 15.73M 0 15.73M 0 0 6.84M 0 00:02 7.46M16100 15.73M 0 15.73M 0 0 6.84M 0 00:02 7.46M17100 15.73M 0 15.73M 0 0 6.84M 0 00:02 7.46M18unpacking source archive /nix/var/nix/builds/nix-88859-746525957/download.tar.gz