From 7454847fa5590fdf91a67f58337738548fc5c2a2 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 21 Apr 2026 08:53:48 +0200
Subject: [PATCH] ocamlPackages.elpi: coqPackages -> rocqPackages

(cherry picked from commit cad142c61a54c5e7e91a5f7d6355315d80b7530e)
---
 pkgs/development/ocaml-modules/elpi/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix
index a1bba25240c1..17999e59581a 100644
--- a/pkgs/development/ocaml-modules/elpi/default.nix
+++ b/pkgs/development/ocaml-modules/elpi/default.nix
@@ -15,7 +15,7 @@
   ppx_deriving_0_15,
   ppx_deriving_0_33,
   ppx_optcomp,
-  coqPackages,
+  rocqPackages,
   version ?
     if lib.versionAtLeast ocaml.version "4.13" then
       "3.4.2"
@@ -33,7 +33,7 @@ let
 in
 
 let
-  fetched = coqPackages.metaFetch {
+  fetched = rocqPackages.metaFetch {
     release."3.7.1".sha256 = "sha256-AQn0T9bAj17tAcVZdl3PTj4ri0fCXQJvAVN1dFn19GY=";
     release."3.6.2".sha256 = "sha256-BDE4L5qYZfaMt+6JivNBJIaJGeDSf5E+Kw1Wera/WFk=";
     release."3.6.1".sha256 = "sha256-zoVgRqNAXeCgk3zGntVkkZxIiQrCU5+ONeI97BiT674=";