From 062602c043416e762c28df67a3e24c24b0e13ee3 Mon Sep 17 00:00:00 2001
From: Shekhinah Memmel <me@ssiah.de>
Date: Mon, 23 Jan 2023 08:38:16 +0100
Subject: [PATCH] fix nix/text-editor.nix

---
 nix/text-editor.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/text-editor.nix b/nix/text-editor.nix
index 2abcfaff7..6b360cac1 100644
--- a/nix/text-editor.nix
+++ b/nix/text-editor.nix
@@ -7,7 +7,7 @@ let
       ${my-emacs}/bin/emacs -q -l ${init-file} $@
     '';
 in rec {
-  idris2-mode = emacsPackages.melpaBuild {
+  idris2-mode = emacsPackages.trivialBuild {
     pname = "idris2-mode";
     src = idris-emacs-src;
     packageRequires = with pkgs.emacsPackages.melpaPackages; [ prop-menu ];