structuredAttrs is enabled

trying https://github.com/yvgude/lean-ctx/archive/refs/tags/v3.9.20.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  9.75M   0  9.75M   0      0  7.80M      0           00:01          9.59M
100 16.68M   0 16.68M   0      0  7.88M      0           00:02          9.59M
100 16.68M   0 16.68M   0      0  7.88M      0           00:02          9.59M
100 16.68M   0 16.68M   0      0  7.88M      0           00:02          9.59M
unpacking source archive /nix/var/nix/builds/nix-57225-1666238958/download.tar.gz