8 version = "2018-01-12";
10 idrisDeps = [ contrib ];
12 src = fetchFromGitHub {
14 repo = "idris-vecspace";
15 rev = "6830fa13232f25e9874b3f857b79508b5f82cb99";
16 sha256 = "1dwz69cmzblyh7lnyqq2gp0a042z7h02sh5q5wf4xb500vizwkq2";
20 description = "Abstract vector spaces in Idris";
21 homepage = "https://github.com/clayrat/idris-vecspace";
22 maintainers = [ lib.maintainers.brainrape ];