Warning: Permanently added '52.90.50.101' (ED25519) to the list of known hosts.
receiving incremental file list
./
clingo-5.7.1-3.src.rpm
clingo.spec
results.json
success

sent 107 bytes  received 5,192,754 bytes  10,385,722.00 bytes/sec
total size is 5,191,179  speedup is 1.00