diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2018-10-09 13:29:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-09 13:29:40 +0200 |
| commit | 5176389f1d931e2862a87205d478eff2586f1df2 (patch) | |
| tree | b0e440e9d6f0840e1383fdeff08a2dba1363ff95 /pkgs/development/idris-modules/permutations.nix | |
| parent | 6c7a5c38aa6e399058a1e51ff9c9bb7a43c57156 (diff) | |
| parent | 7e0f7a0b54d8c485cca0fed83357dceb1bbbabf9 (diff) | |
| download | nixlib-5176389f1d931e2862a87205d478eff2586f1df2.tar nixlib-5176389f1d931e2862a87205d478eff2586f1df2.tar.gz nixlib-5176389f1d931e2862a87205d478eff2586f1df2.tar.bz2 nixlib-5176389f1d931e2862a87205d478eff2586f1df2.tar.lz nixlib-5176389f1d931e2862a87205d478eff2586f1df2.tar.xz nixlib-5176389f1d931e2862a87205d478eff2586f1df2.tar.zst nixlib-5176389f1d931e2862a87205d478eff2586f1df2.zip | |
Merge pull request #43735 from tg-x/build-idris-package
build-idris-package: add 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 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; |