From 7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9 Mon Sep 17 00:00:00 2001
From: TG x <*@tg-x.net>
Date: Tue, 18 Sep 2018 10:38:59 +0200
Subject: build-idris-package: ipkgName

---
 pkgs/development/idris-modules/permutations.nix | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'pkgs/development/idris-modules/permutations.nix')

diff --git a/pkgs/development/idris-modules/permutations.nix b/pkgs/development/idris-modules/permutations.nix
index 8bcb67fa759a..21b81f4a95c5 100644
--- a/pkgs/development/idris-modules/permutations.nix
+++ b/pkgs/development/idris-modules/permutations.nix
@@ -13,10 +13,6 @@ build-idris-package  {
     sha256 = "1dirzqy40fczbw7gp2jr51lzqsnq5vcx9z5l6194lcrq2vxgzv1s";
   };
 
-  postUnpack = ''
-    rm source/test.ipkg
-  '';
-
   meta = {
     description = "Type-safe way of working with permutations in Idris";
     homepage = https://github.com/vmchale/permutations;
-- 
cgit 1.4.1