Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c1db' (ED25519) to the list of known hosts. receiving incremental file list ./ results.json success z3-4.15.3-3.src.rpm z3.spec sent 107 bytes received 5,889,701 bytes 11,779,616.00 bytes/sec total size is 5,887,968 speedup is 1.00