Files fetched: 1 STORED: http://dl.sourceforge.net/maxima/maxima-5.15.0.tar.gz db5338cd384bc0531e76ccdf18d760ef maxima-5.15.0.tar.gz Size: 19851523 bytes -- Virtually Yours: distfiles.