08545411-idris2/idris2-lib-debuginfo-0.7.0-2.fc42.x86_64.rpm pruned on 2025-07-02 05:03:37.785955+00:00, by PID 2661708
08545411-idris2/idris2-lib-0.7.0-2.fc42.x86_64.rpm pruned on 2025-07-02 05:03:37.786602+00:00, by PID 2661708
08545411-idris2/idris2-debugsource-0.7.0-2.fc42.x86_64.rpm pruned on 2025-07-02 05:03:37.787083+00:00, by PID 2661708
08545411-idris2/idris2-0.7.0-2.fc42.x86_64.rpm pruned on 2025-07-02 05:03:37.787473+00:00, by PID 2661708