diff --git a/flake.nix b/flake.nix
index 2fe7497ce..e267e99f6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -74,6 +74,9 @@
             inherit pkgs idris-emacs-src idris2Pkg;
           });
           inherit buildIdris;
+          devShells.default = pkgs.mkShell {
+            packages = idris2Pkg.buildInputs;
+          };
         };
     in lib.mkOvrOptsFlake
     (opts: flake-utils.lib.eachDefaultSystem (per-system opts) // sys-agnostic);