../ wxmaxima_12.04.0-1.debian.tar.gz 01-May-2012 16:49 12K wxmaxima_12.04.0-1.dsc 01-May-2012 16:49 1349 wxmaxima_12.04.0-1_amd64.deb 01-May-2012 16:49 805K wxmaxima_12.04.0.orig.tar.gz 01-May-2012 16:49 1M wxmaxima_20.12.1-1_amd64.deb 29-Dec-2020 21:57 4M