diff options
| author | Shea Levy <shea@shealevy.com> | 2015-11-28 05:53:50 -0500 |
|---|---|---|
| committer | Shea Levy <shea@shealevy.com> | 2015-11-28 05:53:50 -0500 |
| commit | 920930510e7a8b626545890af5f41ac531814a57 (patch) | |
| tree | 2b4ca7699a8b4b1b595b0db00f5c609e1888a926 /pkgs | |
| parent | 6a622acc87fbd67890c7ff7de72b7ee33ada6606 (diff) | |
idris-wl-pprint: Use fetchFromGitHub
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/idris-modules/wl-pprint.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix index 2bf5ef79253c2..66dd4cefe4821 100644 --- a/pkgs/development/idris-modules/wl-pprint.nix +++ b/pkgs/development/idris-modules/wl-pprint.nix @@ -1,5 +1,5 @@ { build-idris-package -, fetchgit +, fetchFromGitHub , prelude , base , lib @@ -7,10 +7,11 @@ }: build-idris-package { name = "wl-pprint"; - src = fetchgit { - url = "git://github.com/shayan-najd/wl-pprint.git"; + src = fetchFromGitHub { + owner = "shayan-najd"; + repo = "wl-pprint"; rev = "120f654b0b9838b57e10b163d3562d959439fb07"; - sha256 = "b5d02a9191973dd8915279e84a9b4df430eb252f429327f45eb8a047d8bb954d"; + sha256 = "1yymdl251zla6hv9rcg06x73gbp6xb0n6f6a02bsy5fqfmrfngcl"; }; propagatedBuildInputs = [ prelude base ]; |