source
checks.aarch64-linux.pkgs-lean-ctx
· build #9473
· raw
1elastic-arm-9a50e053: building sdhvh2krmrfxiyimjh27mvksd4w6mlds-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 5.06M 0 5.06M 0 0 4.05M 0 00:01 5.03M14100 12.05M 0 12.05M 0 0 5.35M 0 00:02 6.00M15100 21.84M 0 21.84M 0 0 7.42M 0 00:02 6.00M16100 21.84M 0 21.84M 0 0 7.42M 0 00:02 6.00M17100 21.84M 0 21.84M 0 0 7.42M 0 00:02 6.00M18unpacking source archive /build/download.tar.gz