Warning: Permanently added '172.25.84.227' (ECDSA) to the list of known hosts.
receiving incremental file list
build.log.gz
coq-8.5pl1-1.el7.centos.src.rpm
coq-8.5pl1-1.el7.centos.x86_64.rpm
coq-coqide-8.5pl1-1.el7.centos.x86_64.rpm
coq-debuginfo-8.5pl1-1.el7.centos.x86_64.rpm
coq-doc-8.5pl1-1.el7.centos.noarch.rpm
coq-emacs-8.5pl1-1.el7.centos.noarch.rpm
root.log.gz
state.log.gz
success

sent 218 bytes  received 88,599,595 bytes  59,066,542.00 bytes/sec
total size is 88,577,172  speedup is 1.00