Warning: Permanently added '35.175.210.86' (ED25519) to the list of known hosts. receiving incremental file list ./ frama-c-32.0-5.src.rpm frama-c.spec results.json success sent 107 bytes received 23,611,965 bytes 47,224,144.00 bytes/sec total size is 23,605,878 speedup is 1.00