diff --git a/pkgs/development/idris-modules/build-idris-package.nix b/pkgs/development/idris-modules/build-idris-package.nix
index eecd7d585cf4..d3686b2a293d 100644
--- a/pkgs/development/idris-modules/build-idris-package.nix
+++ b/pkgs/development/idris-modules/build-idris-package.nix
@@ -1,4 +1,4 @@
-{ stdenv, idris }: argf: let args = {
+{ stdenv, idris, gmp }: argf: let args = {
   preHook = ''
     mkdir idris-libs
     export IDRIS_LIBRARY_PATH=$PWD/idris-libs
@@ -31,4 +31,6 @@
   installPhase = ''
     ${idris}/bin/idris --install *.ipkg
   '';
+
+  buildInputs = [ gmp ];
 }; in stdenv.mkDerivation (args // (argf args))
diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix
new file mode 100644
index 000000000000..dfde08fceab2
--- /dev/null
+++ b/pkgs/development/idris-modules/wl-pprint.nix
@@ -0,0 +1,11 @@
+{ build-idris-package, fetchgit, prelude, base }: build-idris-package (args : {
+  name = "wl-pprint";
+
+  src = fetchgit {
+    url = "git://github.com/shayan-najd/wl-pprint.git";
+    rev = "120f654b0b9838b57e10b163d3562d959439fb07";
+    sha256 = "b5d02a9191973dd8915279e84a9b4df430eb252f429327f45eb8a047d8bb954d";
+  };
+
+  propagatedBuildInputs = [ prelude base ];
+})