coqPackages.metaFetch: fix sort predicate stability (#368429)

2024-12-26 15:56:53 -08:00
parent b0abc14c4a ef6ac2dd6e
commit 162b4bf7b3
1 changed files with 2 additions and 2 deletions
--- a/pkgs/build-support/coq/meta-fetch/default.nix
+++ b/pkgs/build-support/coq/meta-fetch/default.nix
@@ -27,7 +27,7 @@ let
    sort
    switch
    switch-if
-    versionAtLeast
+    versionOlder
    versions
    ;

@@ -112,7 +112,7 @@ let
  shortVersion =
    x:
    if (isString x && match "^/.*" x == null) then
-      findFirst (v: versions.majorMinor v == x) null (sort versionAtLeast (attrNames release))
+      findFirst (v: versions.majorMinor v == x) null (sort (l: r: versionOlder r l) (attrNames release))
    else
      null;
  isShortVersion = x: shortVersion x != null;