pkgs/development/idris-modules/containers.nix

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