Warning: Permanently added '54.152.176.172' (ED25519) to the list of known hosts.
receiving incremental file list
./
results.json
rust-libcrux-traits-0.0.7-1.fc45.src.rpm
rust-libcrux-traits.spec
success

sent 107 bytes  received 38,036 bytes  76,286.00 bytes/sec
total size is 37,675  speedup is 0.99