From 4f1d26288f1fd3c70e6a5ca4baaf8fab504652b7 Mon Sep 17 00:00:00 2001
From: Márton Boros <martonboros@gmail.com>
Date: Fri, 9 Mar 2018 09:57:18 +0100
Subject: idrisPackages: fix errors

---
 pkgs/development/idris-modules/default.nix   | 2 --
 pkgs/development/idris-modules/wl-pprint.nix | 2 +-
 2 files changed, 1 insertion(+), 3 deletions(-)

(limited to 'pkgs/development')

diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix
index 35ee20e9622..4309039f498 100644
--- a/pkgs/development/idris-modules/default.nix
+++ b/pkgs/development/idris-modules/default.nix
@@ -50,8 +50,6 @@
 
     lightyear = callPackage ./lightyear.nix {};
 
-    optparse = callPackage ./optparse.nix {};
-
     wl-pprint = callPackage ./wl-pprint.nix {};
 
     specdris = callPackage ./specdris.nix {};
diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix
index 7e6d77a19a2..bb2476a2dec 100644
--- a/pkgs/development/idris-modules/wl-pprint.nix
+++ b/pkgs/development/idris-modules/wl-pprint.nix
@@ -6,7 +6,7 @@
 , idris
 }:
 build-idris-package {
-  pkName = "wl-pprint";
+  name = "wl-pprint";
   version = "2016-09-28";
 
   src = fetchFromGitHub {
-- 
cgit 1.4.1