Warning: Permanently added '44.201.100.157' (ED25519) to the list of known hosts.
receiving incremental file list
fricas-1.3.11.5343e4e-1.src.rpm
fricas.spec
results.json
success

sent 100 bytes  received 4,707,996 bytes  3,138,730.67 bytes/sec
total size is 4,706,530  speedup is 1.00