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/refined.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/refined.nix')
-rw-r--r-- | pkgs/development/idris-modules/refined.nix | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/refined.nix b/pkgs/development/idris-modules/refined.nix index 00252b6a7cd6..433fdf647697 100644 --- a/pkgs/development/idris-modules/refined.nix +++ b/pkgs/development/idris-modules/refined.nix @@ -6,6 +6,8 @@ build-idris-package { name = "refined"; version = "2017-12-28"; + ipkgName = "idris-refined"; + src = fetchFromGitHub { owner = "janschultecom"; repo = "idris-refined"; @@ -13,10 +15,6 @@ build-idris-package { sha256 = "1am7kfc51p2zlml954v8cl9xvx0g0f1caq7ni3z36xvsd7fh47yh"; }; - postUnpack = '' - rm source/idris-refined-test.ipkg - ''; - meta = { description = "Port of Scala/Haskell Refined library to Idris"; homepage = https://github.com/janschultecom/idris-refined; |