tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, contrib
4, lib
5}:
6build-idris-package {
7 pname = "vecspace";
8 version = "2018-01-12";
9
10 idrisDeps = [ contrib ];
11
12 src = fetchFromGitHub {
13 owner = "clayrat";
14 repo = "idris-vecspace";
15 rev = "6830fa13232f25e9874b3f857b79508b5f82cb99";
16 sha256 = "1dwz69cmzblyh7lnyqq2gp0a042z7h02sh5q5wf4xb500vizwkq2";
17 };
18
19 meta = {
20 description = "Abstract vector spaces in Idris";
21 homepage = "https://github.com/clayrat/idris-vecspace";
22 maintainers = [ lib.maintainers.brainrape ];
23 };
24}