pkgs/development/idris-modules/hamt.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , effects
   5 , lib
   6 }:
   7 build-idris-package  {
   8   pname = "hamt";
   9   version = "2016-11-15";
  10
  11   idrisDeps = [ contrib effects ];
  12
  13   src = fetchFromGitHub {
  14     owner = "bamboo";
  15     repo = "idris-hamt";
  16     rev = "e70f3eedddb5ccafea8e386762b8421ba63c495a";
  17     sha256 = "0m2yjr20dxkfmn3nzc68l6vh0rdaw6b637yijwl4c83b5xiac1mi";
  18   };
  19
  20   meta = {
  21     description = "Idris Hash Array Mapped Trie";
  22     homepage = "https://github.com/bamboo/idris-hamt";
  23     license = lib.licenses.bsd3;
  24     maintainers = [ lib.maintainers.brainrape ];
  25   };
  26 }