diff options
author | Márton Boros <martonboros@gmail.com> | 2018-03-09 10:22:53 +0100 |
---|---|---|
committer | Márton Boros <martonboros@gmail.com> | 2018-03-09 10:22:53 +0100 |
commit | 4d4171d5f640212909360f892fc3405bd40217c1 (patch) | |
tree | a186909e75a7a50be7330f07b95c1c616a16d2a6 /pkgs/development/idris-modules | |
parent | 4f1d26288f1fd3c70e6a5ca4baaf8fab504652b7 (diff) | |
download | nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.gz nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.bz2 nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.lz nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.xz nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.zst nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.zip |
idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/wl-pprint.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix index bb2476a2dec..9ecf0591805 100644 --- a/pkgs/development/idris-modules/wl-pprint.nix +++ b/pkgs/development/idris-modules/wl-pprint.nix @@ -7,13 +7,13 @@ }: build-idris-package { name = "wl-pprint"; - version = "2016-09-28"; + version = "2017-03-13"; src = fetchFromGitHub { owner = "shayan-najd"; repo = "wl-pprint"; - rev = "4cc88a0865620a3b997863e4167d3b98e1a41b52"; - sha256 = "1yxxh366k5njad75r0xci2q5c554cddvzgrwk43b0xn8rq0vm11x"; + rev = "97590d1679b3db07bb430783988b4cba539e9947"; + sha256 = "0ifp76cqg340jkkzanx69vg76qivv53vh1lzv9zkp5f49prkwl5d"; }; # The tests for this package fail. We should attempt to enable them when |