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/hrtime.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/hrtime.nix')
-rw-r--r-- | pkgs/development/idris-modules/hrtime.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/idris-modules/hrtime.nix b/pkgs/development/idris-modules/hrtime.nix index 09fabb6715db..9e9736d25661 100644 --- a/pkgs/development/idris-modules/hrtime.nix +++ b/pkgs/development/idris-modules/hrtime.nix @@ -7,6 +7,7 @@ build-idris-package { name = "hrtime"; version = "2017-04-16"; + ipkgName = "hrTime"; idrisDeps = [ idrisscript ]; src = fetchFromGitHub { |