Sophie: maxima-runtime-sbcl-5.29.1-1.fc18 i686

maxima-runtime-sbcl-5.29.1-1.fc18.i686.rpm

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

:: :: ::