mac02: building 2ihdkq2vrr87831mc5vydzqdlzbbwwaw-source.drv
structuredAttrs is enabled

trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.11.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  8.31M   0  8.31M   0      0  6.35M      0           00:01          8.26M
100 17.25M   0 17.25M   0      0  7.43M      0           00:02          8.54M
100 19.09M   0 19.09M   0      0  7.54M      0           00:02          8.54M
100 19.09M   0 19.09M   0      0  7.54M      0           00:02          8.54M
100 19.09M   0 19.09M   0      0  7.54M      0           00:02          8.54M
unpacking source archive /nix/var/nix/builds/nix-16274-2482999586/download.tar.gz