If those rpm's have source packages, they can probably be built for most rpm based distros.
You may find a few rpms here:
https://build.opensuse.org/package/show/home:DenisRx:Texmacs-devel/Texmacs.pkg
and a couple of opensuse rpms here:
https://software.opensuse.org/download.html?project=home:slowphil:texmacs-devel&package=texmacs
I don't know whether any of these would run in openmandriva, though.
Good luck,
Philippe
Archive powered by MHonArc 2.6.19.