Package tetex-armtex in Fedora devel has been retired by notting To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/tetex-armtex