diff --git a/pkgs/development/coq-modules/serapi/default.nix b/pkgs/development/coq-modules/serapi/default.nix
index ac61e4eed018..d8077640d6e1 100644
--- a/pkgs/development/coq-modules/serapi/default.nix
+++ b/pkgs/development/coq-modules/serapi/default.nix
@@ -15,23 +15,22 @@ let
   };
 in
 
-(with lib; mkCoqDerivation {
+(mkCoqDerivation {
   pname = "serapi";
   repo = "coq-serapi";
   inherit version release;
 
-  defaultVersion =  with versions;
-    lib.switch coq.version [
-      { case = isEq "8.19"; out = "8.19.0+0.19.3"; }
-      { case = isEq "8.18"; out = "8.18.0+0.18.3"; }
-      { case = isEq "8.17"; out = "8.17.0+0.17.3"; }
-      { case = isEq "8.16"; out = "8.16.0+0.16.3"; }
-      { case = isEq "8.15"; out = "8.15.0+0.15.0"; }
-      { case = isEq "8.14"; out = "8.14.0+0.14.0"; }
-      { case = isEq "8.13"; out = "8.13.0+0.13.0"; }
-      { case = isEq "8.12"; out = "8.12.0+0.12.1"; }
-      { case = isEq "8.11"; out = "8.11.0+0.11.1"; }
-      { case = isEq "8.10"; out = "8.10.0+0.7.2";  }
+  defaultVersion = lib.switch coq.version [
+      { case = lib.versions.isEq "8.19"; out = "8.19.0+0.19.3"; }
+      { case = lib.versions.isEq "8.18"; out = "8.18.0+0.18.3"; }
+      { case = lib.versions.isEq "8.17"; out = "8.17.0+0.17.3"; }
+      { case = lib.versions.isEq "8.16"; out = "8.16.0+0.16.3"; }
+      { case = lib.versions.isEq "8.15"; out = "8.15.0+0.15.0"; }
+      { case = lib.versions.isEq "8.14"; out = "8.14.0+0.14.0"; }
+      { case = lib.versions.isEq "8.13"; out = "8.13.0+0.13.0"; }
+      { case = lib.versions.isEq "8.12"; out = "8.12.0+0.12.1"; }
+      { case = lib.versions.isEq "8.11"; out = "8.11.0+0.11.1"; }
+      { case = lib.versions.isEq "8.10"; out = "8.10.0+0.7.2";  }
     ] null;
 
   useDune = true;