../ wxmaxima_18.02.0-2_amd64.deb 21-Feb-2018 23:44 3707880 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