08854577-lean4/lean4-4.18.0-1.el10.aarch64.rpm pruned on 2025-06-05 04:56:37.491355+00:00, by PID 1286812
08854577-lean4/lean4-4.18.0-1.el10.src.rpm pruned on 2025-06-05 04:56:37.510315+00:00, by PID 1286812