diff --git a/shell.nix b/shell.nix
index 590beb687d..891920e5fd 100644
--- a/shell.nix
+++ b/shell.nix
@@ -2,7 +2,7 @@
 
 let
   lean = import ./default.nix args;
-  temci = import (builtins.fetchGit { url = http://github.com/parttimenerd/temci.git; rev = "ba1505a7c2de471a5821a2643b34de2d1c1af03e"; }) {};
+  temci = import (builtins.fetchGit { url = http://github.com/parttimenerd/temci.git; rev = "ba1505a7c2de471a5821a2643b34de2d1c1af03e"; }) { inherit pkgs; };
 in pkgs.mkShell.override { stdenv = lean.stdenv; } rec {
   inputsFrom = [ lean ];
   buildInputs = with pkgs; [ temci ccache ninja ];