Warning: Permanently added '54.224.223.145' (ED25519) to the list of known hosts. receiving incremental file list ./ dolfinx-external-operator-0.11.0.tar.gz python-dolfinx-external-operator-0.11.0-1.src.rpm python-dolfinx-external-operator.spec results.json success sent 126 bytes received 5,625,378 bytes 11,251,008.00 bytes/sec total size is 5,623,545 speedup is 1.00