TeXmacs from home:weatherhead99 project
Seleziona il sistema operativo
Aggiungi il repository e installa manualmente
Per openSUSE Tumbleweed eseguire quanto segue come root:
zypper addrepo https://download.opensuse.org/repositories/home:weatherhead99/openSUSE_Tumbleweed/home:weatherhead99.repo zypper refresh zypper install TeXmacs