Sophie: maxima-runtime-sbcl-5.20.1-3.fc13 i686

maxima-runtime-sbcl-5.20.1-3.fc13.i686.rpm

drwxr-xr-x	4096	root	root	/usr/lib/maxima/5.20.1/binary-sbcl
-rw-r--r--	54087708	root	root	/usr/lib/maxima/5.20.1/binary-sbcl/maxima.core

:: :: ::