Это, кажется, не отсортировано по длине:
emacs-common-proofgeneral.noarch : Emacs mode for standard interaction interface for proof assistants coq-emacs-el.noarch : Elisp source files for Coq proof management system emacs-gtypist.x86_64 : GNU typing tutor
Документация говорит, что
Результат сортируется от наиболее релевантных результатов к наименьшему.
что имеет смысл. Вероятно, это вторичный эффект соответствия алгоритма релевантности. Если алгоритм релевантности выглядит так:
relevancy = letters_of_found_string / length_of_string_searched_in
тогда сначала будут показаны более короткие строки. Это может быть неоптимальным и выглядеть странно (это не будет первым делом в DNF), но обсуждение списка рассылки или предлагаемых улучшений на github приветствуется.
Отказ от ответственности: я не участвую в разработке DNF, и вышеупомянутое является применением здравого смысла и моего Google-фу.