diff --git a/pkgs/development/rocq-modules/odd-order/default.nix b/pkgs/development/rocq-modules/odd-order/default.nix
index 7c9f3044069f..c90684312d9a 100644
--- a/pkgs/development/rocq-modules/odd-order/default.nix
+++ b/pkgs/development/rocq-modules/odd-order/default.nix
@@ -1,12 +1,12 @@
 {
   lib,
   coq,
-  mkCoqDerivation,
+  mkRocqDerivation,
   mathcomp-group-representation,
   version ? null,
 }:
 
-mkCoqDerivation {
+mkRocqDerivation {
   pname = "odd-order";
   owner = "math-comp";
 
@@ -44,6 +44,8 @@ mkCoqDerivation {
       ]
       null;
 
+  useCoqifVersion = v: v != null && v != "dev" && lib.versions.isLe "2.4.0" v;
+
   propagatedBuildInputs = [
     mathcomp-group-representation
   ];