summary refs log tree commit diff
path: root/pkgs/development/idris-modules/permutations.nix
diff options
context:
space:
mode:
authorTG x <*@tg-x.net>2018-09-18 10:38:59 +0200
committerTG x <*@tg-x.net>2018-09-18 10:38:59 +0200
commit7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9 (patch)
tree52cf38a0dc028ea3950612c3f7fb5ae6c753fbf5 /pkgs/development/idris-modules/permutations.nix
parent14d646edec6eeaaaaf7517fcefd1d998a33792f3 (diff)
downloadnixpkgs-7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9.tar
nixpkgs-7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9.tar.gz
nixpkgs-7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9.tar.bz2
nixpkgs-7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9.tar.lz
nixpkgs-7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9.tar.xz
nixpkgs-7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9.tar.zst
nixpkgs-7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9.zip
build-idris-package: ipkgName
Diffstat (limited to 'pkgs/development/idris-modules/permutations.nix')
-rw-r--r--pkgs/development/idris-modules/permutations.nix4
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;