08732037-lean4/lean4-4.17.0-1.fc41.ppc64le.rpm pruned on 2025-06-05 04:56:33.176262+00:00, by PID 1286226
08732037-lean4/lean4-4.17.0-1.fc41.src.rpm pruned on 2025-06-05 04:56:33.182886+00:00, by PID 1286226