../ wxmaxima_18.02.0-2_amd64.deb 21-Feb-2018 23:44 3707880 wxmaxima_18.02.0-2_i386.deb 21-Feb-2018 23:44 3733756 wxmaxima_19.07.0-1.1build1_amd64.deb 23-Mar-2020 08:29 5101404