../ wxmaxima_12.04.0-1_amd64.deb 01-May-2012 16:49 824066 wxmaxima_13.04.2-4+deb8u1_amd64.deb 06-Jan-2016 04:17 697622 wxmaxima_16.04.2-1_amd64.deb 13-May-2016 00:42 2615348 wxmaxima_19.01.2-1_amd64.deb 28-Jan-2019 03:25 4317056 wxmaxima_20.12.1-1_amd64.deb 29-Dec-2020 21:57 3968404