mac02: building 1mhs0friibnql7rd2ix3vf2dcgmn4jbm-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  4.25M   0  4.25M   0      0  3.43M      0           00:01          4.19M
100 15.50M   0 15.50M   0      0  6.83M      0           00:02          7.58M
100 21.84M   0 21.84M   0      0  7.03M      0           00:03          7.58M
100 21.84M   0 21.84M   0      0  7.03M      0           00:03          7.58M
100 21.84M   0 21.84M   0      0  7.03M      0           00:03          7.58M
unpacking source archive /nix/var/nix/builds/nix-7812-782618798/download.tar.gz