From b15e19c0932c53dcaa06a526f1a4e02507cac077 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Thu, 20 Aug 2026 14:19:13 +0200
Subject: [PATCH] rocqPackages.odd-order: use mkRocqDerivation

---
 pkgs/development/rocq-modules/odd-order/default.nix | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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
   ];