../ wxmaxima_13.04.2-4+deb8u1.debian.tar.xz 05-Jan-2016 12:30 12K wxmaxima_13.04.2-4+deb8u1.dsc 05-Jan-2016 12:30 1926 wxmaxima_13.04.2-4+deb8u1_amd64.deb 06-Jan-2016 12:17 681K wxmaxima_13.04.2-4+deb8u1_i386.deb 06-Jan-2016 12:17 687K wxmaxima_13.04.2.orig.tar.gz 20-Jun-2013 00:30 2M