mac02: building hg6bsz9mx59raksr4pcz3lxn54f2z8fc-source.drv
structuredAttrs is enabled

trying https://github.com/OleksandrChekhovskyi/hax/archive/refs/tags/v0.7.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  1.12M   0  1.12M   0      0  1.50M      0                              0
100  1.12M   0  1.12M   0      0  1.50M      0                              0
100  1.12M   0  1.12M   0      0  1.50M      0                              0
unpacking source archive /nix/var/nix/builds/nix-3669-1740294314/download.tar.gz