Warning: Permanently added '172.25.84.196' (ECDSA) to the list of known hosts.
receiving incremental file list
build.log.gz
emacs-common-proofgeneral-4.2-5.el7.centos.noarch.rpm
emacs-common-proofgeneral-4.2-5.el7.centos.src.rpm
emacs-proofgeneral-4.2-5.el7.centos.noarch.rpm
emacs-proofgeneral-el-4.2-5.el7.centos.noarch.rpm
root.log.gz
state.log.gz
success

sent 180 bytes  received 5,346,923 bytes  10,694,206.00 bytes/sec
total size is 5,344,986  speedup is 1.00