diff --git a/flake.nix b/flake.nix index e8181e04f..bd66a56c3 100644 --- a/flake.nix +++ b/flake.nix @@ -22,10 +22,6 @@ packages = rec { idris2 = idris2Pkg; } // text-editor; - apps = rec { - type = "app"; - emacs-dev = text-editor.emacs-dev; - }; buildIdris = buildIdrisPkg; defaultPackage = packages.idris2; } else {}) // rec {