python3Packages.orjson: Disable failing tests on 32 bit
[NixPkgs.git] / pkgs / development / idris-modules / vecspace.nix
blobdea3c9b18dd03552c1f1f52a7c92921239631619
1 { build-idris-package
2 , fetchFromGitHub
3 , contrib
4 , lib
5 }:
6 build-idris-package  {
7   pname = "vecspace";
8   version = "2018-01-12";
10   idrisDeps = [ contrib ];
12   src = fetchFromGitHub {
13     owner = "clayrat";
14     repo = "idris-vecspace";
15     rev = "6830fa13232f25e9874b3f857b79508b5f82cb99";
16     sha256 = "1dwz69cmzblyh7lnyqq2gp0a042z7h02sh5q5wf4xb500vizwkq2";
17   };
19   meta = {
20     description = "Abstract vector spaces in Idris";
21     homepage = "https://github.com/clayrat/idris-vecspace";
22     maintainers = [ lib.maintainers.brainrape ];
23   };