diff options
| author | Langston Barrett <langston.barrett@gmail.com> | 2016-09-28 19:18:42 +0000 |
|---|---|---|
| committer | Langston Barrett <langston.barrett@gmail.com> | 2016-09-28 19:36:44 +0000 |
| commit | e7b3d9c7c899401ddfc9da2752304084bfdc8675 (patch) | |
| tree | 2b6f492a5b5812b851b377335c744b4d5146360d | |
| parent | 7bda74f676ac4e48c39cd1fb8233106f39bcbca2 (diff) | |
| download | nixlib-e7b3d9c7c899401ddfc9da2752304084bfdc8675.tar nixlib-e7b3d9c7c899401ddfc9da2752304084bfdc8675.tar.gz nixlib-e7b3d9c7c899401ddfc9da2752304084bfdc8675.tar.bz2 nixlib-e7b3d9c7c899401ddfc9da2752304084bfdc8675.tar.lz nixlib-e7b3d9c7c899401ddfc9da2752304084bfdc8675.tar.xz nixlib-e7b3d9c7c899401ddfc9da2752304084bfdc8675.tar.zst nixlib-e7b3d9c7c899401ddfc9da2752304084bfdc8675.zip | |
wl-pprint: update to 2016-09-28
| -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; }; } |