10804586-lean4/lean4-4.32.2-1.fc45.x86_64.rpm pruned on 2026-08-16 15:24:15.235249+00:00, by PID 3486431
10804586-lean4/lean4-4.32.2-1.fc45.src.rpm pruned on 2026-08-16 15:24:15.372669+00:00, by PID 3486431