texmacs-1.99.13-2.mga8.src.rpm build ok