pkgs/development/idris-modules/snippets.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , lib
   5 }:
   6 build-idris-package  {
   7   pname = "snippets";
   8   version = "2018-03-17";
   9
  10   ipkgName = "idris-snippets";
  11   idrisDeps = [ contrib ];
  12
  13   src = fetchFromGitHub {
  14     owner = "palladin";
  15     repo = "idris-snippets";
  16     rev = "c26d6f5ffc1cc0456279f5ac74fec5af8c09025e";
  17     sha256 = "1vwyzck6yan3wifsyj02ji9l6x9rs2r02aybm90gl676s2x4mhjn";
  18   };
  19
  20   meta = {
  21     description = "Collection of Idris snippets";
  22     homepage = "https://github.com/palladin/idris-snippets";
  23     license = lib.licenses.mit;
  24     maintainers = [ lib.maintainers.brainrape ];
  25   };
  26 }