10436850-lean4/lean4-4.29.1-1.fc42.x86_64.rpm pruned on 2026-06-15 09:35:51.912960+00:00, by PID 119027
10436850-lean4/lean4-4.29.1-1.fc42.src.rpm pruned on 2026-06-15 09:35:51.958919+00:00, by PID 119027