08601601-lean4/lean4-4.16.0-1.el9.ppc64le.rpm pruned on 2025-03-07 05:17:42.763229+00:00, by PID 185412
08601601-lean4/lean4-4.16.0-1.el9.src.rpm pruned on 2025-03-07 05:17:42.769237+00:00, by PID 185412