Warning: Permanently added '3.85.134.43' (ED25519) to the list of known hosts.
receiving incremental file list
./
fricas-1.3.13-720261012git8f31b2c.fc44.src.rpm
fricas.spec
results.json
success

sent 107 bytes  received 4,729,548 bytes  9,459,310.00 bytes/sec
total size is 4,728,063  speedup is 1.00