Warning: Permanently added '44.222.131.172' (ED25519) to the list of known hosts. receiving incremental file list ./ results.json rocq-stdlib-9.0.0-1.src.rpm rocq-stdlib-9.0.0.tar.gz rocq-stdlib.spec success sent 126 bytes received 3,664,612 bytes 7,329,476.00 bytes/sec total size is 3,663,350 speedup is 1.00