pkgs/development/idris-modules/graphviz.nix

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