10056515-lean4/lean4-4.27.0-1.el9.ppc64le.rpm pruned on 2026-02-24 19:51:44.875517+00:00, by PID 2436418
10056515-lean4/lean4-4.27.0-1.el9.src.rpm pruned on 2026-02-24 19:51:45.127122+00:00, by PID 2436418