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 { });