08601601-lean4/lean4-4.16.0-1.fc40.aarch64.rpm pruned on 2025-03-07 05:17:42.505089+00:00, by PID 185372
08601601-lean4/lean4-4.16.0-1.fc40.src.rpm pruned on 2025-03-07 05:17:42.528101+00:00, by PID 185372