10054353-lean4/lean4-4.27.0-1.el9.x86_64.rpm pruned on 2026-02-24 19:51:43.228046+00:00, by PID 2436272
10054353-lean4/lean4-4.27.0-1.el9.src.rpm pruned on 2026-02-24 19:51:43.503439+00:00, by PID 2436272