Files fetched: 1 STORED: http://master.dl.sourceforge.net/maxima/maxima-5.17.0.tar.gz 98ec3ec237d55639a8de5b317990eb2d maxima-5.17.0.tar.gz Size: 20042951 bytes -- Virtually Yours: distfiles.