../ wxmaxima_12.04.0-1.debian.tar.gz 01-May-2012 16:49 12486 wxmaxima_12.04.0-1.dsc 01-May-2012 16:49 1349 wxmaxima_12.04.0-1_armhf.deb 15-May-2012 17:09 780216 wxmaxima_12.04.0.orig.tar.gz 01-May-2012 16:49 1490662 wxmaxima_13.04.2-1+b1_armhf.deb 10-Jul-2013 05:11 831736 wxmaxima_13.04.2-1.debian.tar.gz 19-Jun-2013 16:30 12509 wxmaxima_13.04.2-1.dsc 19-Jun-2013 16:30 1349 wxmaxima_13.04.2.orig.tar.gz 19-Jun-2013 16:30 1652680