From 4e3f652c6fb97ba6047a40344ba59198157e4fd5 Mon Sep 17 00:00:00 2001
From: Guilherme Silva <guilhermehas@hotmail.com>
Date: Mon, 22 Mar 2021 08:25:38 -0300
Subject: [PATCH] [ fix #1212 ] Removed apps from nix flakes (#1213)

---
 flake.nix | 4 ----
 1 file changed, 4 deletions(-)

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 {