0001-Use-debian-libsynctex-dev.patch
0002-Resolve-const-ness-of-some-variables.patch
0003-Add-another-missing-const-qualifier.patch
0004-Revert-change-regarding-const-ness-and-use-casts-ins.patch
fix-for-new-libsynctex.patch
