../ wxmaxima_16.04.2-1.debian.tar.xz 15-Dec-2021 15:40 6388 wxmaxima_16.04.2-1.dsc 15-Dec-2021 15:40 1893 wxmaxima_16.04.2-1_amd64.deb 15-Dec-2021 15:40 2M wxmaxima_16.04.2.orig.tar.gz 15-Dec-2021 15:40 5M