Warning: Permanently added '172.16.3.20' (RSA) to the list of known hosts.
receiving incremental file list
idris-0.9.16-1.fc21/
idris-0.9.16-1.fc21/build.log
idris-0.9.16-1.fc21/fail
idris-0.9.16-1.fc21/root.log
idris-0.9.16-1.fc21/state.log

sent 91 bytes  received 207,445 bytes  138,357.33 bytes/sec
total size is 232,289  speedup is 1.12