Warning: Permanently added '98.83.138.42' (ED25519) to the list of known hosts.
receiving incremental file list
./
lean4-plausible-0^20261012gitdfa4f38-1.src.rpm
lean4-plausible.spec
plausible-dfa4f38190d07c37e315953e08b90fe2d95b3c24.commit -> /var/lib/copr-rpmbuild/workspace/workdir-fj38e8n0/neurofedora/plausible-dfa4f38190d07c37e315953e08b90fe2d95b3c24.commit
plausible-dfa4f38190d07c37e315953e08b90fe2d95b3c24.tar.gz
results.json
success

sent 129 bytes  received 100,703 bytes  201,664.00 bytes/sec
total size is 100,152  speedup is 0.99