elastic-arm-2c14001d: building x57n3dg5fy93z35rlam4c2rmdfk1layc-cargo-src-proptest-1.12.0.drv
structuredAttrs is enabled

trying https://static.crates.io/crates/proptest/1.12.0/download
  % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
                                 Dload  Upload  Total   Spent   Left   Speed
100 208.8k 100 208.8k   0      0  3.99M      0                              0