Warning: Permanently added '100.27.232.19' (ED25519) to the list of known hosts. receiving incremental file list ./ results.json success yosys-0.56-20250731.0.git262b00d5.src.rpm yosys.spec sent 107 bytes received 19,522 bytes 13,086.00 bytes/sec total size is 19,188 speedup is 0.98