08601601-lean4/lean4-4.16.0-1.fc40.ppc64le.rpm pruned on 2025-03-07 05:17:39.718685+00:00, by PID 184961
08601601-lean4/lean4-4.16.0-1.fc40.src.rpm pruned on 2025-03-07 05:17:39.724609+00:00, by PID 184961