10437793-lean4/lean4-4.29.1-1.el9.ppc64le.rpm pruned on 2026-06-15 09:35:55.029673+00:00, by PID 119225
10437793-lean4/lean4-4.29.1-1.el9.src.rpm pruned on 2026-06-15 09:35:55.062425+00:00, by PID 119225