08852545-lean4/lean4-4.18.0-1.fc43.x86_64.rpm pruned on 2025-06-04 06:03:00.443263+00:00, by PID 1754526
08852545-lean4/lean4-4.18.0-1.fc43.src.rpm pruned on 2025-06-04 06:03:00.450887+00:00, by PID 1754526