![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BUILD | 2022-06-20 12:00 | 47 | |
| CONFIGURE | 2022-06-20 12:00 | 33 | |
| DEPENDS | 2025-06-13 15:00 | 217 | |
| DETAILS | 2025-10-10 18:00 | 681 | |
| HISTORY | 2025-10-10 18:00 | 946 | |
| NO_UNITY | 2025-06-13 15:00 | 0 | |
| sigil.gpg | 2022-06-20 12:00 | 5.1K | |