Warning: Permanently added '54.161.45.103' (ED25519) to the list of known hosts.
receiving incremental file list
./
metamath-0.198-9.src.rpm
metamath.spec
results.json
success

sent 107 bytes  received 15,312,169 bytes  10,208,184.00 bytes/sec
total size is 15,308,112  speedup is 1.00