Index of /graphics/pictex-addons

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] autoarea.zip            2021-06-10 13:10   51K  
[DIR] autoarea/               2021-06-10 13:01    -
Apache/2.4.67 (Debian) Server at ctan.kcvw.net Port 80