Warning: Permanently added '3.93.198.93' (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,670,600 bytes 7,341,452.00 bytes/sec total size is 3,669,328 speedup is 1.00