Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c1d4' (ED25519) to the list of known hosts. receiving incremental file list ./ cvc5-1.2.1-5.src.rpm cvc5.spec results.json success sent 107 bytes received 8,728,854 bytes 5,819,307.33 bytes/sec total size is 8,726,421 speedup is 1.00