Исправление t184256, 12.10.19 11:07 (текущая версия) :
https://repology.org/project/protege/versions
По твоей логике, софта нет нигде, кроме арча.
Исходная версия t184256, 12.10.19 11:06: