From 92538f0a5439b7155dc46e10d10631cef68943c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1rton=20Boros?= <martonboros@gmail.com>
Date: Tue, 26 Dec 2017 10:55:17 +0100
Subject: [PATCH 1/2] idris: fix modules

---
 pkgs/development/idris-modules/idris-wrapper.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix
index 32424ba1f86..5e3eb511bd3 100644
--- a/pkgs/development/idris-modules/idris-wrapper.nix
+++ b/pkgs/development/idris-modules/idris-wrapper.nix
@@ -5,10 +5,10 @@ symlinkJoin {
   src = idris.src;
   paths = [ idris ];
   buildInputs = [ makeWrapper ];
+  meta.platforms = idris.meta.platforms;
   postBuild = ''
     wrapProgram $out/bin/idris \
       --suffix PATH : ${ stdenv.lib.makeBinPath path } \
       --suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib}
-      '';
-  }
-
+    '';
+}

From 2996be511d3c4ac16694584fe114edd30a25309e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1rton=20Boros?= <martonboros@gmail.com>
Date: Sat, 3 Feb 2018 10:17:24 +0100
Subject: [PATCH 2/2] Undo spacing difference

---
 pkgs/development/idris-modules/idris-wrapper.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix
index 0e3a8393140..155098a4625 100644
--- a/pkgs/development/idris-modules/idris-wrapper.nix
+++ b/pkgs/development/idris-modules/idris-wrapper.nix
@@ -10,6 +10,7 @@ symlinkJoin {
     wrapProgram $out/bin/idris \
       --suffix PATH : ${ stdenv.lib.makeBinPath path } \
       --suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib}
+
     mkdir -p $out/nix-support
     substituteAll ${./setup-hook.sh} $out/nix-support/setup-hook
       '';