tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, lib
4}:
5build-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}