09227559-lean4/lean4-4.21.0-1.el10.aarch64.rpm pruned on 2025-08-24 06:18:23.689213+00:00, by PID 1335143
09227559-lean4/lean4-4.21.0-1.el10.src.rpm pruned on 2025-08-24 06:18:23.710730+00:00, by PID 1335143