Warning: Permanently added '52.90.173.38' (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,572 bytes 7,341,396.00 bytes/sec total size is 3,669,286 speedup is 1.00