maxima-xmaxima: Tcl/Tk based GUI for Maxima

    2023-06-25 15:17      480845 usr/bin/xmaxima
    2023-06-25 15:17           0 usr/share/maxima/5.47.0/xmaxima/
    2023-06-25 15:17        1596 usr/share/maxima/5.47.0/xmaxima/demos.html
    2023-06-25 15:17        8731 usr/share/maxima/5.47.0/xmaxima/examples.html
    2023-06-25 15:17           0 usr/share/maxima/5.47.0/xmaxima/html/
    2023-06-25 15:17           0 usr/share/maxima/5.47.0/xmaxima/html/figures/
    2023-06-25 15:17       61690 usr/share/maxima/5.47.0/xmaxima/html/figures/xmaximabrowser.png
    2023-06-25 15:17      108968 usr/share/maxima/5.47.0/xmaxima/html/figures/xmaximaembedded.png
    2023-06-25 15:17       32726 usr/share/maxima/5.47.0/xmaxima/html/figures/xmaximaplot.png
    2023-06-25 15:17       33642 usr/share/maxima/5.47.0/xmaxima/html/figures/xmaximaslider.png
    2023-06-25 15:17       58842 usr/share/maxima/5.47.0/xmaxima/html/figures/xmaximawindow.png
    2023-06-25 15:17        2191 usr/share/maxima/5.47.0/xmaxima/html/index.html
    2023-06-25 15:17        8083 usr/share/maxima/5.47.0/xmaxima/html/xmaxima.html
    2023-06-25 15:17        5295 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_1.html
    2023-06-25 15:17       15327 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_2.html
    2023-06-25 15:17        6948 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_3.html
    2023-06-25 15:17        9389 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_4.html
    2023-06-25 15:17        5551 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_5.html
    2023-06-25 15:17        4380 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_6.html
    2023-06-25 15:17        6053 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_abt.html
    2023-06-25 15:17       60352 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_singlepage.html
    2023-06-25 15:17        4346 usr/share/maxima/5.47.0/xmaxima/html/xmaxima_toc.html
    2023-06-25 15:17        7438 usr/share/maxima/5.47.0/xmaxima/intro.html
    2023-06-25 15:17        1816 usr/share/maxima/5.47.0/xmaxima/maxima-icon.gif
    2023-06-25 15:17       17742 usr/share/maxima/5.47.0/xmaxima/maxima-icon.ico
    2023-06-25 15:17        5709 usr/share/maxima/5.47.0/xmaxima/maxima-icon.png
    2023-06-25 15:17           0 usr/share/maxima/5.47.0/xmaxima/msgs/
    2023-06-25 15:17       15207 usr/share/maxima/5.47.0/xmaxima/msgs/es.msg
    2023-06-25 15:17       36145 usr/share/maxima/5.47.0/xmaxima/msgs/ru.msg
    2023-06-25 15:17        4195 usr/share/maxima/5.47.0/xmaxima/net.sourceforge.maxima.gif
    2023-06-25 15:17       15942 usr/share/maxima/5.47.0/xmaxima/net.sourceforge.maxima.png
    2023-06-25 15:17        3530 usr/share/maxima/5.47.0/xmaxima/net.sourceforge.maxima.svg
    2023-06-25 15:17        1688 usr/share/maxima/5.47.0/xmaxima/plotmaxima.html
    2023-06-25 15:17       21449 usr/share/info/xmaxima.info