09227559-lean4/lean4-4.21.0-1.el10.ppc64le.rpm pruned on 2025-08-24 06:18:22.797918+00:00, by PID 1335049
09227559-lean4/lean4-4.21.0-1.el10.src.rpm pruned on 2025-08-24 06:18:22.814026+00:00, by PID 1335049