../ wxmaxima_23.10.0_aarch64.deb 29-Oct-2023 12:54 2871576 wxmaxima_23.10.0_arm.deb 29-Oct-2023 12:54 2831192