/extra/maxima/

• ../
• PKGBUILD
• maxima.desktop
• maxima.install