| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| hats/ | ||
| readme_images/ | ||
| README.md | 2023/04/05 09:18:50 | 1266 |
| realhats.dtx | 2023/04/05 09:18:50 | 10352 |
| realhats.ins | 2023/04/05 09:18:50 | 1262 |
| realhats.pdf | 2023/04/05 09:18:50 | 2041930 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.