../ wxmaxima_16.12.2-1.debian.tar.xz 27-Jan-2017 09:37 6456 wxmaxima_16.12.2-1.dsc 27-Jan-2017 09:37 1907 wxmaxima_16.12.2-1_amd64.deb 27-Jan-2017 10:12 2768154 wxmaxima_16.12.2-1_i386.deb 27-Jan-2017 10:12 2802528 wxmaxima_16.12.2.orig.tar.gz 27-Jan-2017 09:37 4866058