../ wxmaxima_19.07.0-1.1build1_loongarch64.deb 27-Jul-2021 04:14 4949272 wxmaxima_19.07.0-1.1build1_riscv64.deb 15-Aug-2023 08:18 5058940