![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| DESCR | 2023-02-19 09:22 | 1.1K | |
| Makefile | 2024-01-16 12:57 | 3.4K | |
| PLIST | 2023-02-19 09:22 | 1.4K | |
| PLIST.java8-javadoc | 2023-03-02 10:13 | 113K | |
| PLIST.java11-javadoc | 2023-07-19 06:09 | 113K | |
| PLIST.java17-javadoc | 2023-07-18 21:23 | 112K | |
| PLIST.java21-javadoc | 2024-01-16 12:57 | 113K | |
| distinfo | 2023-02-19 09:22 | 500 | |
| patches/ | 2024-04-01 22:59 | - | |