Warning: Permanently added '13.222.158.58' (ED25519) to the list of known hosts. receiving incremental file list ./ coin-or-HiGHS-1.11.0-1.src.rpm coin-or-HiGHS.spec results.json success sent 107 bytes received 2,407,391 bytes 1,604,998.67 bytes/sec total size is 2,406,488 speedup is 1.00