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