Warning: Permanently added '54.226.123.230' (ED25519) to the list of known hosts. receiving incremental file list ./ gappalib-coq-1.7.1-5.src.rpm gappalib-coq-1.7.1.tar.gz -> /var/lib/copr-rpmbuild/workspace/workdir-prbzn220/gappalib-coq/gappalib-coq-1.7.1.tar.gz gappalib-coq.spec results.json success sent 110 bytes received 101,003 bytes 67,408.67 bytes/sec total size is 100,625 speedup is 1.00