09711765-lean4/lean4-4.24.0-1.el9.ppc64le.rpm pruned on 2025-12-08 16:59:20.199933+00:00, by PID 3923033
09711765-lean4/lean4-4.24.0-1.el9.src.rpm pruned on 2025-12-08 16:59:20.220478+00:00, by PID 3923033