mac02: building vkngmmw5wfvfjdip9qiknpjnxialdxj9-source.drv
structuredAttrs is enabled

trying https://github.com/OleksandrChekhovskyi/hax/archive/refs/tags/v0.6.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.07M   0  1.07M   0      0  1.86M      0                              0
100  1.07M   0  1.07M   0      0  1.86M      0                              0
100  1.07M   0  1.07M   0      0  1.86M      0                              0
unpacking source archive /nix/var/nix/builds/nix-31923-1643589739/download.tar.gz