Index of /ports/science/gri/files/?C=N&O=D

Icon  Name                        Last modified      Size  
[PARENTDIR] Parent Directory                                 -   
[TXT] patch-texi_encoding.diff    2020-11-16 23:43  286   
[TXT] patch-illegal-regex.diff    2020-11-16 23:43  7.1K  
[TXT] patch-doc-texinfo2HTML.diff 2020-11-16 23:43  872   
[TXT] patch-doc-gri.texi.diff     2020-11-16 23:43  819