Files fetched: 1 STORED: http://download.sourceforge.net/maxima/maxima-5.31.3.tar.gz 02b3b089b6a5581c410f3dcc57bfdde8 maxima-5.31.3.tar.gz Size: 27451207 bytes -- Virtually Yours: distfiles.