Warning: Permanently added '54.146.57.60' (ED25519) to the list of known hosts. receiving incremental file list ./ cvc5-1.3.0-1.src.rpm cvc5.spec results.json success sent 107 bytes received 8,844,295 bytes 17,688,804.00 bytes/sec total size is 8,841,824 speedup is 1.00