../ wxmaxima_13.04.2-2_amd64.deb 17-Jan-2019 05:23 616866 wxmaxima_13.04.2-2_i386.deb 17-Jan-2019 05:36 615262 wxmaxima_15.08.2-1.debian.tar.xz 22-Nov-2018 03:41 6736 wxmaxima_15.08.2-1.dsc 22-Nov-2018 03:41 1895 wxmaxima_15.08.2-1_amd64.deb 22-Nov-2018 05:18 3480522 wxmaxima_15.08.2-1_i386.deb 22-Nov-2018 06:32 3472362 wxmaxima_15.08.2.orig.tar.gz 22-Nov-2018 03:41 5592673