08853096-lean4/lean4-4.18.0-1.fc42.x86_64.rpm pruned on 2025-06-04 06:03:00.364657+00:00, by PID 1754524
08853096-lean4/lean4-4.18.0-1.fc42.src.rpm pruned on 2025-06-04 06:03:00.376665+00:00, by PID 1754524