diff options
build-idris-package: ipkgName
Diffstat (limited to 'pkgs/development/idris-modules/recursion_schemes.nix')
-rw-r--r-- | pkgs/development/idris-modules/recursion_schemes.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/recursion_schemes.nix b/pkgs/development/idris-modules/recursion_schemes.nix index 78f3674aeabd..dab6913ee8bc 100644 --- a/pkgs/development/idris-modules/recursion_schemes.nix +++ b/pkgs/development/idris-modules/recursion_schemes.nix @@ -20,10 +20,6 @@ build-idris-package { sha256 = "0rbx0yqa0fb7h7qfsvqvirc5q85z51rcwbivn6351jgn3a0inmhf"; }; - postUnpack = '' - rm source/test.ipkg - ''; - meta = { description = "Recursion schemes for Idris"; homepage = https://github.com/vmchale/recursion_schemes; |