09711424-lean4/lean4-4.24.0-1.el9.x86_64.rpm pruned on 2025-12-08 16:59:19.097629+00:00, by PID 3922855
09711424-lean4/lean4-4.24.0-1.el9.src.rpm pruned on 2025-12-08 16:59:19.130578+00:00, by PID 3922855