../ wxmaxima_13.04.2-4+deb8u1_amd64.deb 06-Jan-2016 04:17 697622 wxmaxima_13.04.2-4+deb8u1_i386.deb 06-Jan-2016 04:17 703830 wxmaxima_16.04.2-1_amd64.deb 13-May-2016 00:42 2615348 wxmaxima_16.04.2-1_i386.deb 13-May-2016 00:42 2612218 wxmaxima_19.01.2-1_amd64.deb 28-Jan-2019 03:25 4317056 wxmaxima_19.01.2-1_i386.deb 28-Jan-2019 03:20 4383084 wxmaxima_20.12.1-1_amd64.deb 29-Dec-2020 21:57 3968404 wxmaxima_20.12.1-1_i386.deb 29-Dec-2020 21:47 4046876