| File Name ↓ | File Size ↓ | Date ↓ |
| Parent directory/ | - | - |
| archives/ | - | Oct 30, 2025 |
| bin/ | - | Oct 30, 2025 |
| doc/ | - | Oct 30, 2025 |
| fonts/ | - | Oct 30, 2025 |
| metapost/ | - | Oct 30, 2025 |
| scripts/ | - | Oct 30, 2025 |
| source/ | - | Oct 30, 2025 |
| tex/ | - | Oct 30, 2025 |
| DEPENDS.txt | 5.0 KiB | Oct 29, 2025 |
| README.md | 7.0 KiB | Oct 29, 2025 |
| VERSION | 19 B | Oct 29, 2025 |