08180603-maxima/maxima-gui-5.47.0-11.fc42.aarch64.rpm pruned on 2025-04-11 05:43:43.035298+00:00, by PID 1075034
08180603-maxima/maxima-src-5.47.0-11.fc42.aarch64.rpm pruned on 2025-04-11 05:43:43.038135+00:00, by PID 1075034
08180603-maxima/maxima-runtime-sbcl-5.47.0-11.fc42.aarch64.rpm pruned on 2025-04-11 05:43:43.056803+00:00, by PID 1075034
08180603-maxima/maxima-5.47.0-11.fc42.aarch64.rpm pruned on 2025-04-11 05:43:43.057337+00:00, by PID 1075034
08180603-maxima/maxima-5.47.0-11.fc42.src.rpm pruned on 2025-04-11 05:43:43.057810+00:00, by PID 1075034