../ wxmaxima_16.04.2-1mx150+1.debian.tar.xz 14-Jun-2016 19:33 6320 wxmaxima_16.04.2-1mx150+1.dsc 14-Jun-2016 19:34 1474 wxmaxima_16.04.2-1mx150+1_amd64.deb 14-Jun-2016 19:34 2648688 wxmaxima_16.04.2-1mx150+1_i386.deb 14-Jun-2016 19:34 2644268 wxmaxima_16.04.2.orig.tar.xz 14-Jun-2016 19:34 3661336