elastic-arm-c939a637: building kx3ygxq9g1v6vic2bl1cirbvxkmva9zj-source.drv
structuredAttrs is enabled

trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.11.4.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  9.79M   0  9.79M   0      0  8.02M      0           00:01          9.77M
100 18.29M   0 18.29M   0      0  8.24M      0           00:02          9.13M
100 19.32M   0 19.32M   0      0  8.33M      0           00:02          9.13M
100 19.32M   0 19.32M   0      0  8.33M      0           00:02          9.13M
100 19.32M   0 19.32M   0      0  8.33M      0           00:02          9.13M
unpacking source archive /build/download.tar.gz