pkgs: fix eval (NixOS#339561)

khaneliman · Sep 4, 2024 · 5a18fb6 · 5a18fb6
2 parents 15785da + c8204ed
commit 5a18fb6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
@@ -14791,7 +14791,7 @@ with pkgs;
     ocamlPackages = ocaml-ng.ocamlPackages_4_14;
   };
 
-  inherit (coqPackages) compcert;
+  inherit (coqPackages_8_19) compcert;
 
   computecpp-unwrapped = callPackage ../development/compilers/computecpp { };
   computecpp = wrapCCWith rec {