../ wxmaxima_13.04.2-4+deb8u1.debian.tar.xz 10-Mar-2016 10:05 12K wxmaxima_13.04.2-4+deb8u1.dsc 10-Mar-2016 10:05 1926 wxmaxima_13.04.2-4+deb8u1_amd64.deb 10-Mar-2016 10:24 681K wxmaxima_13.04.2-4+deb8u1_i386.deb 10-Mar-2016 10:00 687K wxmaxima_13.04.2.orig.tar.gz 10-Mar-2016 10:05 2M