Warning: Permanently added '18.208.219.78' (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,624 bytes 2,443,166.67 bytes/sec total size is 3,663,350 speedup is 1.00