From a5e44926733b7603db1db043d7fb79694e5fc7a3 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Thu, 20 Aug 2026 14:21:25 +0200
Subject: [PATCH] rocqPackages.coqeal: use mkRocqDerivation

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

diff --git a/pkgs/development/rocq-modules/coqeal/default.nix b/pkgs/development/rocq-modules/coqeal/default.nix
index 20b8745cef9d..117d68f50304 100644
--- a/pkgs/development/rocq-modules/coqeal/default.nix
+++ b/pkgs/development/rocq-modules/coqeal/default.nix
@@ -1,6 +1,6 @@
 {
   coq,
-  mkCoqDerivation,
+  mkRocqDerivation,
   mathcomp,
   bignums,
   paramcoq,
@@ -11,7 +11,7 @@
 }:
 
 let
-  derivation = mkCoqDerivation {
+  derivation = mkRocqDerivation {
 
     pname = "CoqEAL";
 
@@ -59,6 +59,8 @@ let
     release."1.0.4".hash = "sha256:1g5m26lr2lwxh6ld2gykailhay4d0ayql4bfh0aiwqpmmczmxipk";
     release."1.0.3".hash = "sha256:0hc63ny7phzbihy8l7wxjvn3haxx8jfnhi91iw8hkq8n29i23v24";
 
+    useCoqifVersion = v: v != null && v != "dev" && lib.versions.isLe "2.1.2" v;
+
     propagatedBuildInputs = [
       mathcomp.algebra
       bignums