diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix
index d1c39ed6abd4..feed65d9a66d 100644
--- a/pkgs/development/coq-modules/compcert/default.nix
+++ b/pkgs/development/coq-modules/compcert/default.nix
@@ -4,7 +4,6 @@
   coq,
   flocq,
   MenhirLib,
-  ocamlPackages,
   fetchpatch,
   makeWrapper,
   coq2html,
@@ -71,7 +70,7 @@ let
 
     strictDeps = true;
 
-    nativeBuildInputs = with ocamlPackages; [
+    nativeBuildInputs = with coq.ocamlPackages; [
       makeWrapper
       ocaml
       findlib
@@ -79,7 +78,7 @@ let
       coq
       coq2html
     ];
-    buildInputs = with ocamlPackages; [ menhirLib ];
+    buildInputs = with coq.ocamlPackages; [ menhirLib ];
     propagatedBuildInputs = [
       flocq
       MenhirLib
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index 995f14930b8e..b2cd7f2ada19 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -88,7 +88,6 @@ let
           lib
           stdenv
           ;
-        ocamlPackages = ocamlPackages_4_14;
       };
       ConCert = callPackage ../development/coq-modules/ConCert { };
       coq-bits = callPackage ../development/coq-modules/coq-bits { };