Warning: Permanently added '54.234.129.58' (ED25519) to the list of known hosts.
receiving incremental file list
./
lean-repl-4.35.0-2.src.rpm
lean-repl.spec
repl-4.35.0.tar.gz
results.json
success

sent 126 bytes  received 94,189 bytes  188,630.00 bytes/sec
total size is 93,769  speedup is 0.99