source
checks.aarch64-darwin.pkgs-lean-ctx
· build #10843
· raw
1mac02: building mazhhrjsq85jdapa0y8g9ipl7sd4mhx0-source.drv2structuredAttrs is enabled34trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.4.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.59M 0 7.59M 0 0 6.03M 0 00:01 7.59M14100 15.59M 0 15.59M 0 0 6.90M 0 00:02 7.79M15100 15.97M 0 15.97M 0 0 6.97M 0 00:02 7.79M16100 15.97M 0 15.97M 0 0 6.97M 0 00:02 7.79M17100 15.97M 0 15.97M 0 0 6.96M 0 00:02 7.79M18unpacking source archive /nix/var/nix/builds/nix-55998-2476832797/download.tar.gz