Warning: Permanently added '3.91.41.216' (ED25519) to the list of known hosts.
receiving incremental file list
./
Agda-2.7.0.1-54.fc43.src.rpm
Agda-2.7.0.1-54.fc43.x86_64.rpm
Agda-common-2.7.0.1-54.fc43.noarch.rpm
Agda.spec
build.log.gz
chroot_scan.tar.gz
configs.tar.gz
ghc-Agda-2.7.0.1-54.fc43.x86_64.rpm
ghc-Agda-devel-2.7.0.1-54.fc43.x86_64.rpm
ghc-Agda-doc-2.7.0.1-54.fc43.noarch.rpm
ghc-Agda-prof-2.7.0.1-54.fc43.x86_64.rpm
ghc-murmur-hash-0.1.0.11-54.fc43.x86_64.rpm
ghc-murmur-hash-devel-0.1.0.11-54.fc43.x86_64.rpm
ghc-murmur-hash-doc-0.1.0.11-54.fc43.noarch.rpm
ghc-murmur-hash-prof-0.1.0.11-54.fc43.x86_64.rpm
ghc-peano-0.1.0.2-54.fc43.x86_64.rpm
ghc-peano-devel-0.1.0.2-54.fc43.x86_64.rpm
ghc-peano-doc-0.1.0.2-54.fc43.noarch.rpm
ghc-peano-prof-0.1.0.2-54.fc43.x86_64.rpm
ghc-pqueue-1.5.0.0-54.fc43.x86_64.rpm
ghc-pqueue-devel-1.5.0.0-54.fc43.x86_64.rpm
ghc-pqueue-doc-1.5.0.0-54.fc43.noarch.rpm
ghc-pqueue-prof-1.5.0.0-54.fc43.x86_64.rpm
ghc-vector-hashtables-0.1.2.0-54.fc43.x86_64.rpm
ghc-vector-hashtables-devel-0.1.2.0-54.fc43.x86_64.rpm
ghc-vector-hashtables-doc-0.1.2.0-54.fc43.noarch.rpm
ghc-vector-hashtables-prof-0.1.2.0-54.fc43.x86_64.rpm
hw_info.log.gz
results.json
root.log.gz
state.log.gz
success

sent 639 bytes  received 68,283,854 bytes  45,522,995.33 bytes/sec
total size is 68,264,366  speedup is 1.00