09830640-lean4/lean4-4.25.0-1.fc44.ppc64le.rpm pruned on 2025-12-23 09:18:43.841090+00:00, by PID 3809878
09830640-lean4/lean4-4.25.0-1.fc44.src.rpm pruned on 2025-12-23 09:18:44.060461+00:00, by PID 3809878