../ wxmaxima_15.08.2-1_amd64.deb 24-Oct-2015 04:47 3480522 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