| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| dvipdfmx/ | 2020-Feb-17 23:37:38 | - | Directory |
| dvips/ | 2023-Jan-18 09:34:50 | - | Directory |
| tex/ | 2023-Jan-18 09:34:50 | - | Directory |
| texdoctk/ | 2023-Jan-18 09:35:07 | - | Directory |
| texmf.d/ | 2023-Jan-18 09:35:04 | - | Directory |
| web2c/ | 2023-Jan-18 09:35:05 | - | Directory |