elastic-arm-5a918c5e: building nwnma9sfcf21m5jj31skzzdllk9yxhbg-source.drv
structuredAttrs is enabled

trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.10.5.tar.gz
  % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
                                 Dload  Upload  Total   Spent   Left   Speed

  0      0   0      0   0      0      0      0                              0
  0      0   0      0   0      0      0      0                              0
  0      0   0      0   0      0      0      0                              0

  0      0   0      0   0      0      0      0                              0
100 10.26M   0 10.26M   0      0  8.33M      0           00:01         10.07M
100 17.05M   0 17.05M   0      0  8.34M      0           00:02         10.07M
100 17.05M   0 17.05M   0      0  8.34M      0           00:02         10.07M
100 17.05M   0 17.05M   0      0  8.34M      0           00:02         10.07M
unpacking source archive /build/download.tar.gz