diff options
build-idris-package: ipkgName
Diffstat (limited to 'pkgs/development/idris-modules/permutations.nix')
-rw-r--r-- | pkgs/development/idris-modules/permutations.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/permutations.nix b/pkgs/development/idris-modules/permutations.nix index 8bcb67fa759..21b81f4a95c 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; |