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