../ wxmaxima_19.01.2-1.debian.tar.xz 28-Jan-2019 01:54 11528 wxmaxima_19.01.2-1.dsc 28-Jan-2019 01:54 2179 wxmaxima_19.01.2-1_amd64.deb 28-Jan-2019 03:25 4317056 wxmaxima_19.01.2.orig.tar.gz 28-Jan-2019 01:54 12216722 wxmaxima_19.01.2.orig.tar.gz.asc 28-Jan-2019 01:54 963