pkgs/development/idris-modules/wl-pprint.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package {
   6   pname = "wl-pprint";
   7   version = "2017-03-13";
   8
   9   src = fetchFromGitHub {
  10     owner = "shayan-najd";
  11     repo = "wl-pprint";
  12     rev = "97590d1679b3db07bb430783988b4cba539e9947";
  13     sha256 = "0ifp76cqg340jkkzanx69vg76qivv53vh1lzv9zkp5f49prkwl5d";
  14   };
  15
  16   meta = {
  17     description = "Wadler-Leijen pretty-printing library";
  18     homepage = "https://github.com/shayan-najd/wl-pprint";
  19     license = lib.licenses.bsd2;
  20   };
  21 }