1{ build-idris-package
2, fetchFromGitHub
3, lib
4}:
5build-idris-package {
6 pname = "mapping";
7 version = "2018-02-27";
8
9 src = fetchFromGitHub {
10 owner = "zaoqi";
11 repo = "Mapping.idr";
12 rev = "4f226933d4491b8fd09f9d9a7b862c0cc646b936";
13 sha256 = "1skkb7jz2lv0xg4n5m0vd9xddg3x01459dwx1jxnpc7ifask4cda";
14 };
15
16 meta = {
17 description = "Idris mapping library";
18 homepage = "https://github.com/zaoqi/Mapping.idr";
19 license = lib.licenses.agpl3;
20 maintainers = [ lib.maintainers.brainrape ];
21 };
22}