pkgs/development/idris-modules/containers.nix

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