10056238-lean4/lean4-4.27.0-1.el10.aarch64.rpm pruned on 2026-02-24 19:51:45.290975+00:00, by PID 2436562
10056238-lean4/lean4-4.27.0-1.el10.src.rpm pruned on 2026-02-24 19:51:45.418789+00:00, by PID 2436562