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