../ wxmaxima_19.07.0-1.1build1_amd64.deb 23-Mar-2020 08:29 5101404 wxmaxima_20.12.1-1_amd64.deb 30-Dec-2020 05:39 3942020 wxmaxima_23.08.0-1_amd64.deb 27-Aug-2023 19:04 3759994