09855167-lean4/lean4-4.25.2-1.fc44.x86_64.rpm pruned on 2025-12-23 09:18:40.628214+00:00, by PID 3809687
09855167-lean4/lean4-4.25.2-1.fc44.src.rpm pruned on 2025-12-23 09:18:40.723729+00:00, by PID 3809687