08180603-maxima/maxima-gui-5.47.0-11.fc42.x86_64.rpm pruned on 2025-04-11 05:43:42.767269+00:00, by PID 1075013
08180603-maxima/maxima-runtime-sbcl-5.47.0-11.fc42.x86_64.rpm pruned on 2025-04-11 05:43:42.784288+00:00, by PID 1075013
08180603-maxima/maxima-5.47.0-11.fc42.x86_64.rpm pruned on 2025-04-11 05:43:42.792927+00:00, by PID 1075013
08180603-maxima/maxima-src-5.47.0-11.fc42.x86_64.rpm pruned on 2025-04-11 05:43:42.805360+00:00, by PID 1075013
08180603-maxima/maxima-5.47.0-11.fc42.src.rpm pruned on 2025-04-11 05:43:42.805790+00:00, by PID 1075013