../ 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_amd64.deb 06-Jan-2016 04:17 697622 wxmaxima_13.04.2-4+deb8u1_i386.deb 06-Jan-2016 04:17 703830 wxmaxima_13.04.2.orig.tar.gz 19-Jun-2013 16:30 1652680