Warning: Permanently added '172.25.82.111' (ECDSA) to the list of known hosts.
receiving incremental file list
build.log.gz
root.log.gz
stackage-dist-pkg-lts-6.1-Agda-2.5.1-1.el7.centos.src.rpm
stackage-dist-pkg-lts-6.1-Agda-2.5.1-1.el7.centos.x86_64.rpm
stackage-dist-pkg-lts-6.1-Agda-devel-2.5.1-1.el7.centos.x86_64.rpm
stackage-dist-pkg-lts-6.1-Agda-lib-2.5.1-1.el7.centos.x86_64.rpm
state.log.gz
success

sent 180 bytes  received 21,604,944 bytes  14,403,416.00 bytes/sec
total size is 21,599,008  speedup is 1.00