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

sent 563 bytes  received 89,269,767 bytes  59,513,553.33 bytes/sec
total size is 89,245,465  speedup is 1.00