texmacs-2.1.5-1.mga11.armv7hl.rpm
texmacs-debuginfo-2.1.5-1.mga11.armv7hl.rpm
texmacs-debugsource-2.1.5-1.mga11.armv7hl.rpm