../ wxmaxima_18.02.0-2_amd64.deb 11-Mar-2022 23:51 4M wxmaxima_19.07.0-1.1build1_amd64.deb 12-Mar-2022 17:07 5M wxmaxima_20.12.1-1_amd64.deb 07-Nov-2023 19:38 4M