Warning: Permanently added '163.107.81.238' (ED25519) to the list of known hosts.
receiving incremental file list
./
build.log.gz
configs.tar.gz
cvc5.spec
root.log.gz
state.log.gz
chroot_scan/

sent 130 bytes  received 80,390 bytes  23,005.71 bytes/sec
total size is 79,931  speedup is 0.99