elastic-arm-9a50e053: building sdhvh2krmrfxiyimjh27mvksd4w6mlds-source.drv
structuredAttrs is enabled

trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.0.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  5.06M   0  5.06M   0      0  4.05M      0           00:01          5.03M
100 12.05M   0 12.05M   0      0  5.35M      0           00:02          6.00M
100 21.84M   0 21.84M   0      0  7.42M      0           00:02          6.00M
100 21.84M   0 21.84M   0      0  7.42M      0           00:02          6.00M
100 21.84M   0 21.84M   0      0  7.42M      0           00:02          6.00M
unpacking source archive /build/download.tar.gz