../ wxmaxima_13.04.2-4+deb8u1.debian.tar.xz 05-Jan-2016 04:30 11812 wxmaxima_13.04.2-4+deb8u1.dsc 05-Jan-2016 04:30 1926 wxmaxima_13.04.2-4+deb8u1_armhf.deb 24-Jan-2016 01:01 631262 wxmaxima_13.04.2.orig.tar.gz 19-Jun-2013 16:30 1652680