Index of:

 Name                    Last modified      Size  
 Parent Directory                             -   
 manual.texi.gz          2024-08-19 17:41   26K  
 manual.ps.gz            2019-07-13 19:50  226K  
 manual.pdf.gz           2019-07-13 19:50  176K  
 manual.html             2019-07-13 19:50  124K  
 copyright               2024-08-18 01:51  2.2K  
 changelog.gz            2019-07-13 19:50  5.5K  
 changelog.Debian.gz     2024-08-19 17:41  1.4K