pkgs/development/idris-modules/graphviz.nix

   1 { build-idris-package
   2 , fetchFromGitLab
   3 , lightyear
   4 , lib
   5 }:
   6 build-idris-package  {
   7   pname = "graphviz";
   8   version = "2017-01-16";
   9
  10   idrisDeps = [ lightyear ];
  11
  12   src = fetchFromGitLab {
  13     owner = "mgttlinger";
  14     repo = "idris-graphviz";
  15     rev = "805da92ac888530134c3b4090fae0d025d86bb05";
  16     sha256 = "12kzgjlwq6adflfc5zxpgjnaiszhiab6dcp878ysbz3zr2sihljx";
  17   };
  18
  19   postUnpack = ''
  20     sed -i "/^author /cauthor = Merlin Goettlinger" source/graphviz.ipkg
  21   '';
  22
  23   meta = {
  24     description = "Parser and library for graphviz dot files";
  25     homepage = "https://gitlab.com/mgttlinger/idris-graphviz";
  26     license = lib.licenses.gpl3;
  27     maintainers = [ lib.maintainers.brainrape ];
  28   };
  29 }