09941207-lean4/lean4-4.27.0-0.rc1.fc44.x86_64.rpm pruned on 2026-01-24 08:32:01.081939+00:00, by PID 1314556
09941207-lean4/lean4-4.27.0-0.rc1.fc44.src.rpm pruned on 2026-01-24 08:32:01.481785+00:00, by PID 1314556