pkgs/development/idris-modules/idrishighlighter.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , effects
   4 , lightyear
   5 , lib
   6 }:
   7 build-idris-package  {
   8   name = "idrishighlighter";
   9   version = "2018-02-22";
  10
  11   ipkgName = "idris-code-highlighter";
  12   idrisDeps = [ effects lightyear ];
  13
  14   src = fetchFromGitHub {
  15     owner = "david-christiansen";
  16     repo = "idris-code-highlighter";
  17     rev = "708a29c7d1433adf7b0f69d1aec50e69b2915bba";
  18     sha256 = "16ahzf2jzh7wzi4jjq94s5z9nzkgnj2962dy13s1crim53csjgw5";
  19   };
  20
  21   meta = {
  22     description = "Semantic highlighter for Idris code";
  23     homepage = "https://github.com/david-christiansen/idris-code-highlighter";
  24     license = lib.licenses.mit;
  25     maintainers = [ lib.maintainers.brainrape ];
  26   };
  27 }