../ wxmaxima_19.01.2-1.debian.tar.xz 11-Apr-2020 06:12 11528 wxmaxima_19.01.2-1.dsc 11-Apr-2020 06:12 2179 wxmaxima_19.01.2-1_amd64.deb 11-Apr-2020 06:12 4317056 wxmaxima_19.01.2-1_i386.deb 11-Apr-2020 06:12 4383084 wxmaxima_19.01.2.orig.tar.gz 11-Apr-2020 06:12 12216722 wxmaxima_19.01.2.orig.tar.gz.asc 11-Apr-2020 06:12 963