Dies scheint nicht nach Länge sortiert zu sein:
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
Die Dokumentation sagt das
Das Ergebnis wird nach den relevantesten Ergebnissen sortiert.
das macht Sinn. Dies ist wahrscheinlich ein Nebeneffekt der Relevanz von Algorithmen. Wenn der Relevanzalgorithmus so aussieht:
relevancy = letters_of_found_string / length_of_string_searched_in
dann werden zuerst kürzere Zeichenfolgen angezeigt. Es mag suboptimal sein und seltsam aussehen (wäre nicht das erste, was in DNF möglich wäre), aber die Diskussion auf der Upstream-Mailingliste oder die vorgeschlagene Verbesserung von Github wäre wünschenswert.
Haftungsausschluss: Ich nehme nicht an der DNF-Entwicklung teil und das obige ist die Anwendung des gesunden Menschenverstands und meines Google-Fu.