-rw-r--r-- | 378 | root |
root |
/usr/lib/menu/guide-maxima
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/menu/simplified/guide-maxima
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/guide/Guides/Maxima
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/guide/Guides/Maxima/Icons
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/guide/Guides/Maxima/fr_FR
|
-rw-r--r-- | 5 | root |
root |
/usr/share/guide/Guides/Maxima/version
|
-rw-r--r-- | 807 | root |
root |
/usr/share/guide/Guides/Maxima/Icons/maxima16.png
|
-rw-r--r-- | 2108 | root |
root |
/usr/share/guide/Guides/Maxima/Icons/maxima32.png
|
-rw-r--r-- | 3828 | root |
root |
/usr/share/guide/Guides/Maxima/Icons/maxima48.png
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/guide/Guides/Maxima/fr_FR/Images
|
-rw-r--r-- | 2444 | root |
root |
/usr/share/guide/Guides/Maxima/fr_FR/content.xml
|
-rw-r--r-- | 1472 | root |
root |
/usr/share/guide/Guides/Maxima/fr_FR/Images/el.png
|
-rw-r--r-- | 81052 | root |
root |
/usr/share/guide/Guides/Maxima/fr_FR/Images/maxima_i01.png
|
-rw-r--r-- | 79109 | root |
root |
/usr/share/guide/Guides/Maxima/fr_FR/Images/maxima_i01z.png
|
-rw-r--r-- | 1137 | root |
root |
/usr/share/guide/Guides/Maxima/fr_FR/Images/pr.png
|
-rw-r--r-- | 2290 | root |
root |
/usr/share/icons/guide-maxima.png
|
-rw-r--r-- | 4094 | root |
root |
/usr/share/icons/large/guide-maxima.png
|
-rw-r--r-- | 859 | root |
root |
/usr/share/icons/mini/guide-maxima.png
|