diff --git a/shell.nix b/shell.nix
index 34f0d3677..c4bd94b28 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,7 +1,7 @@
 {withEmacs ? false,
  nixpkgs ? (fetchTarball {
-  url = "https://github.com/NixOS/nixpkgs/archive/650a295621b27c4ebe0fa64a63fd25323e64deb3.tar.gz";
-  sha256 = "0rxjkfiq53ibz0rzggvnp341b6kgzgfr9x6q07m2my7ijlirs2da";
+  url = "https://github.com/NixOS/nixpkgs/archive/c4196cca9acd1c51f62baf10fcbe34373e330bb3.tar.gz";
+  sha256 = "0jsisiw8yckq96r5rgdmkrl3a7y9vg9ivpw12h11m8w6rxsfn5m5";
 }),
 coq-version ? "default",
 print-env ? false
@@ -23,7 +23,8 @@ stdenv.mkDerivation rec {
   name = "env";
   env = buildEnv { name = name; paths = buildInputs; };
   buildInputs = [ coq ] ++ (with myCoqPackages;
-    [mathcomp mathcomp-finmap mathcomp-bigenough])
+    [mathcomp mathcomp-finmap mathcomp-bigenough
+     mathcomp-multinomials mathcomp-real-closed coqeal])
                 ++ lib.optional withEmacs pgEmacs;
   shellHook = ''
     nixEnv (){