pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 effects,
5 test,
6 lib,
7}:
8build-idris-package {
9 pname = "containers";
10 version = "2017-09-10";
11
12 idrisDeps = [
13 effects
14 test
15 ];
16
17 src = fetchFromGitHub {
18 owner = "jfdm";
19 repo = "idris-containers";
20 rev = "fb96aaa3f40faa432cd7a36d956dbc4fe9279234";
21 sha256 = "0vyjadd9sb8qcbzvzhnqwc8wa7ma770c10xhn96jsqsnzr81k52d";
22 };
23
24 meta = {
25 description = "Various data structures for use in the Idris Language";
26 homepage = "https://github.com/jfdm/idris-containers";
27 license = lib.licenses.bsd3;
28 maintainers = [ lib.maintainers.brainrape ];
29 };
30}