Starting download of /gnu/store/k9fczljfy3m1y950rjh5fjq7mrwhd832-rust-proptest-1.3.1.tar.gz
From https://crates.io/api/v1/crates/proptest/1.3.1/download...
following redirection to `https://static.crates.io/crates/proptest/proptest-1.3.1.crate'...

 download  194KiB                         0B/s 00:00 ▕                  ▏   0.0%
 download  194KiB                     2.2MiB/s 00:00 ▕█████▉            ▏  33.0%
 download  194KiB                     3.2MiB/s 00:00 ▕██████████████████▏ 100.0%