Files
-rwxr-xr-x | 437731 | root | root | /usr/bin/xmaxima |
-rw-r--r-- | 183 | root | root | /usr/lib/menu/maxima-gui |
-rw-r--r-- | 2250 | root | root | /usr/share/icons/maxima.png |
-rw-r--r-- | 3825 | root | root | /usr/share/icons/large/maxima.png |
-rw-r--r-- | 739 | root | root | /usr/share/icons/mini/maxima.png |