../ README.txt 11-May-2020 15:56 86 changelog.Debian.gz 11-Oct-2024 20:47 3872 changelog.gz 21-Mar-2022 15:11 5338 copyright 11-Oct-2024 20:41 25397 synctex_parser_readme.txt.gz 14-Jul-2017 17:13 4003