09830450-lean4/lean4-4.25.0-1.el10.x86_64.rpm pruned on 2026-01-25 07:35:57.808513+00:00, by PID 1633216
09830450-lean4/lean4-4.25.0-1.el10.src.rpm pruned on 2026-01-25 07:35:58.093588+00:00, by PID 1633216