diff --git a/pkgs/development/coq-modules/coqprime/default.nix b/pkgs/development/coq-modules/coqprime/default.nix
index 191812b3f2e..c67342f1a2f 100644
--- a/pkgs/development/coq-modules/coqprime/default.nix
+++ b/pkgs/development/coq-modules/coqprime/default.nix
@@ -13,6 +13,7 @@ let params =
     };
     "8.8" = v_8_8;
     "8.9" = v_8_8;
+    "8.10" = v_8_8;
     };
   param = params."${coq.coq-version}"
 ; in