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/containers.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/containers.nix')
-rw-r--r-- | pkgs/development/idris-modules/containers.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/containers.nix b/pkgs/development/idris-modules/containers.nix index c12ea54f5f9f..2fe783da4486 100644 --- a/pkgs/development/idris-modules/containers.nix +++ b/pkgs/development/idris-modules/containers.nix @@ -17,10 +17,6 @@ build-idris-package { sha256 = "0vyjadd9sb8qcbzvzhnqwc8wa7ma770c10xhn96jsqsnzr81k52d"; }; - postUnpack = '' - rm source/containers-travis.ipkg - ''; - meta = { description = "Various data structures for use in the Idris Language."; homepage = https://github.com/jfdm/idris-containers; |