Merge pull request #147 from math-comp/nix-update

upgrading nixpkgs
math-comp · Sep 17, 2019 · b289c4f · b289c4f
2 parents 3e9fc3f + 7087c5d
commit b289c4f
Showing 1 changed file with 4 additions and 3 deletions.
diff --git 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 (){