Warning: Permanently added '54.226.123.230' (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,614 bytes 2,447,160.00 bytes/sec total size is 3,669,328 speedup is 1.00