Warning: Permanently added '3.87.27.117' (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-_pqsjr7n/gappalib-coq/gappalib-coq-1.7.1.tar.gz gappalib-coq.spec results.json success sent 110 bytes received 100,936 bytes 202,092.00 bytes/sec total size is 100,564 speedup is 1.00