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