diff --git a/flake.nix b/flake.nix
index 994a55a..e356ebd 100644
--- a/flake.nix
+++ b/flake.nix
@@ -14,17 +14,16 @@
           inherit system;
           overlays = [ idris2-pkgs.overlay ];
         };
-        inherit (pkgs.idris2-pkgs._builders) idrisPackage devEnv;
+
+        inherit (pkgs.idris2-pkgs._builders) idrisPackage;
+
         quox       = idrisPackage ./lib   { };
         quox-exe   = idrisPackage ./exe   { extraPkgs.quox = quox; };
         quox-tests = idrisPackage ./tests { extraPkgs.quox = quox; };
       in
       {
-        defaultPackage = quox-exe;
-
         packages = { inherit quox quox-exe quox-tests; };
-
-        devShell = pkgs.mkShell { buildInputs = [ (devEnv quox) ]; };
+        defaultPackage = quox;
       }
     );
 }