../ wxmaxima_16.04.2-1.debian.tar.xz 24-Apr-2019 17:52 6388 wxmaxima_16.04.2-1.dsc 24-Apr-2019 17:52 1893 wxmaxima_16.04.2-1_mips64el.deb 24-Apr-2019 17:52 2M wxmaxima_16.04.2.orig.tar.gz 24-Apr-2019 17:52 5M