I have finally got round to transferring all existing Tarski translations to a new, separate translations repository on GitHub. Thanks for your patience; I know the current situation has been unsatisfactory for a long time.
I am looking for a maintainer for this repository: someone who can generate the POT file for new versions of Tarski, and upload new translations when people make them.
One thing that I think would improve things a lot for users would be a simpler way of downloading individual translation files, without having to do an extensive search through the repository. I’m open to suggestions as to how this might be accomplished.
Translations for Tarski 2.6
So far I’ve received three updated translations for Tarski 2.6: German, Bulgarian and Formal Spanish. Thanks to Andreas Beer, Vesselin Petkov and Eduardo Larequi for providing those.
We also now have a translation into Belorussian from Marcis G. Special thanks to him for badgering me until I got round to sorting all of this out.