diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 977fcbd283bc3a0ca1ba4335057263a593613931..71bc887fc3ad3a63358c2dcf111639b6b9502e1b 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -8,7 +8,9 @@ let
     odoc = oself.callPackage ./odoc.nix {};
     odoc-parser = oself.callPackage ./odoc-parser.nix {};
     ppxlib = oself.callPackage ./ppxlib.nix {};
-    why3 = oself.callPackage ./why3.nix {};
+    why3 = oself.callPackage ./why3.nix {
+      coqPackages = pkgs.mkCoqPackages (pkgs.coq.override { version = "8.18";});
+    };
 
     # Helpers
     mk_tests = oself.callPackage ./mk_tests.nix {};