| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.txt | 86 | 2020-May-11 15:56 |
| changelog.Debian.amd64.gz | 230 | 2024-Apr-07 16:49 |
| synctex_parser_readme.txt.gz | 4003 | 2017-Jul-14 17:13 |
| changelog.Debian.gz | 4656 | 2024-Apr-07 16:49 |
| changelog.gz | 5878 | 2023-Mar-09 23:07 |
| copyright | 27020 | 2024-Feb-23 20:58 |