https://bugzilla.fedora.us/show_bug.cgi?id=933 TeXmacs is already approved in PUBLISH status at fedora.us, so it will soon hit pending binary testing, then publication if approved there.