| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| HISTORY | 2.9 KiB | 2022-May-05 04:00 |
| ragel.gpg | 1.2 KiB | 2015-May-26 11:04 |
| DETAILS | 973 B | 2022-May-03 19:00 |
| DEPENDS | 341 B | 2023-Oct-16 22:00 |
| PRE_BUILD | 186 B | 2022-May-05 04:00 |
| BUILD | 40 B | 2022-May-03 19:00 |
| TRIGGERS | 24 B | 2021-Mar-21 01:00 |