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/hamt.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/hamt.nix')
| -rw-r--r-- | pkgs/development/idris-modules/hamt.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/hamt.nix b/pkgs/development/idris-modules/hamt.nix index 17706d1b0969..79df925323ed 100644 --- a/pkgs/development/idris-modules/hamt.nix +++ b/pkgs/development/idris-modules/hamt.nix @@ -5,7 +5,7 @@ , lib }: build-idris-package { - name = "idris-hamt"; + name = "hamt"; version = "2016-11-15"; idrisDeps = [ contrib effects ]; |