08545411-idris2/idris2-debugsource-0.7.0-2.fc42.x86_64.rpm pruned on 2025-07-02 05:03:37.809362+00:00, by PID 2661711
08545411-idris2/idris2-0.7.0-2.fc42.x86_64.rpm pruned on 2025-07-02 05:03:37.815276+00:00, by PID 2661711
08545411-idris2/idris2-lib-0.7.0-2.fc42.x86_64.rpm pruned on 2025-07-02 05:03:37.821774+00:00, by PID 2661711
08545411-idris2/idris2-lib-debuginfo-0.7.0-2.fc42.x86_64.rpm pruned on 2025-07-02 05:03:37.822449+00:00, by PID 2661711