tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 contrib,
5 lib,
6}:
7build-idris-package {
8 pname = "snippets";
9 version = "2018-03-17";
10
11 ipkgName = "idris-snippets";
12 idrisDeps = [ contrib ];
13
14 src = fetchFromGitHub {
15 owner = "palladin";
16 repo = "idris-snippets";
17 rev = "c26d6f5ffc1cc0456279f5ac74fec5af8c09025e";
18 sha256 = "1vwyzck6yan3wifsyj02ji9l6x9rs2r02aybm90gl676s2x4mhjn";
19 };
20
21 meta = {
22 description = "Collection of Idris snippets";
23 homepage = "https://github.com/palladin/idris-snippets";
24 license = lib.licenses.mit;
25 maintainers = [ lib.maintainers.brainrape ];
26 };
27}