diff --git a/pkgs/build-support/coq/meta-fetch/default.nix b/pkgs/build-support/coq/meta-fetch/default.nix
index 7491d0205c25..cc435b299cfd 100644
--- 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;