From 3d94f6a0f3056fbad8c1c54c58338e1b4d8208dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana?= <leana.jiang+git@icloud.com>
Date: Tue, 8 Sep 2026 19:02:58 +0200
Subject: [PATCH] coqPackages: {withPackage,rocq-core} should use coq from the
 scope

Previously if one override the coq package in the coqPackages scope, the
withPackages and rocq-core attribute don't follow, and a wrong instance
of coq will be used.
---
 pkgs/top-level/coq-packages.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index 1faa8097f120..5bf2eb0ca15c 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -59,13 +59,13 @@ let
           withPackages =
             f:
             (callPackage ../applications/science/logic/coq/with-packages.nix {
-              inherit coq;
+              inherit (self) coq;
             })
               (f self);
         };
       });
 
-      rocq-core = coq;
+      rocq-core = self.coq;
 
       contribs = lib.recurseIntoAttrs (callPackage ../development/rocq-modules/contribs { });