mac02: building x4fv6bs666vq6q1bg3vrw36g3rj2bvxl-source.drv
structuredAttrs is enabled

trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.12.3.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  7.02M   0  7.02M   0      0  5.79M      0           00:01          6.97M
100 15.03M   0 15.03M   0      0  6.77M      0           00:02          7.46M
100 15.73M   0 15.73M   0      0  6.84M      0           00:02          7.46M
100 15.73M   0 15.73M   0      0  6.84M      0           00:02          7.46M
100 15.73M   0 15.73M   0      0  6.84M      0           00:02          7.46M
unpacking source archive /nix/var/nix/builds/nix-88859-746525957/download.tar.gz