diff options
author | Shea Levy <shea@shealevy.com> | 2016-09-28 15:49:02 -0400 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2016-09-28 15:49:02 -0400 |
commit | 299ef14cb117f6bf79be83fc0471ec2e0409c1e1 (patch) | |
tree | 5fe021e38a2dc7eaf4abfdbc80816f5f5c71ea2c | |
parent | 58ce50fedfa09eec7ecd7c643987f2f8ec611d41 (diff) | |
parent | e7b3d9c7c899401ddfc9da2752304084bfdc8675 (diff) | |
download | nixlib-299ef14cb117f6bf79be83fc0471ec2e0409c1e1.tar nixlib-299ef14cb117f6bf79be83fc0471ec2e0409c1e1.tar.gz nixlib-299ef14cb117f6bf79be83fc0471ec2e0409c1e1.tar.bz2 nixlib-299ef14cb117f6bf79be83fc0471ec2e0409c1e1.tar.lz nixlib-299ef14cb117f6bf79be83fc0471ec2e0409c1e1.tar.xz nixlib-299ef14cb117f6bf79be83fc0471ec2e0409c1e1.tar.zst nixlib-299ef14cb117f6bf79be83fc0471ec2e0409c1e1.zip |
Merge branch 'wl-pprint/4cc88a' of git://github.com/siddharthist/nixpkgs
-rw-r--r-- | pkgs/development/idris-modules/wl-pprint.nix | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix index 66dd4cefe482..12e9b28d81c0 100644 --- a/pkgs/development/idris-modules/wl-pprint.nix +++ b/pkgs/development/idris-modules/wl-pprint.nix @@ -4,25 +4,27 @@ , base , lib , idris -}: build-idris-package { - name = "wl-pprint"; +}: +build-idris-package { + name = "wl-pprint-2016-09-28"; src = fetchFromGitHub { owner = "shayan-najd"; repo = "wl-pprint"; - rev = "120f654b0b9838b57e10b163d3562d959439fb07"; - sha256 = "1yymdl251zla6hv9rcg06x73gbp6xb0n6f6a02bsy5fqfmrfngcl"; + rev = "4cc88a0865620a3b997863e4167d3b98e1a41b52"; + sha256 = "1yxxh366k5njad75r0xci2q5c554cddvzgrwk43b0xn8rq0vm11x"; }; + # The tests for this package fail. We should attempt to enable them when + # updating this package again. + doCheck = false; + propagatedBuildInputs = [ prelude base ]; meta = { description = "Wadler-Leijen pretty-printing library"; - homepage = https://github.com/shayan-najd/wl-pprint; - license = lib.licenses.bsd2; - inherit (idris.meta) platforms; }; } |