Links for syntex

syntex-0.8.0.tar.gz
syntex-0.8.1.tar.gz