Merge pull request #328918 from xhalo32/master

    githubId = 6391776;

    name = "Nikita Voloboev";

  };

  niklashh = {

    email = "niklas.2.halonen@aalto.fi";

    github = "xhalo32";

    githubId = 15152190;

    keys = [ { fingerprint = "AF3B 80CD A027 245B 51FC  6D9B E83A 373D A5AF 5068"; } ];

    name = "Niklas Halonen";

  };

  niklaskorz = {

    name = "Niklas Korz";

    email = "niklas@niklaskorz.de";

{

  lib,

  buildPythonPackage,

  fetchFromGitHub,

  # build-system

  setuptools,

  # dependencies

  plasTeX,

  plastexshowmore,

  plastexdepgraph,

  click,

  rich,

  rich-click,

  tomlkit,

  jinja2,

  gitpython,

}:

buildPythonPackage {

  pname = "leanblueprint";

  version = "0.0.10";

  pyproject = true;

  src = fetchFromGitHub {

    repo = "leanblueprint";

    owner = "PatrickMassot";

    rev = "v0.0.10";

    hash = "sha256-CUYdxEXgTf2vKDiOoeW4RV6tQ6prFhA4qMc0olZtZBM=";

  };

  build-system = [ setuptools ];

  dependencies = [

    plasTeX

    plastexshowmore

    plastexdepgraph

    click

    rich

    rich-click

    tomlkit

    jinja2

    gitpython

  ];

  pythonImportsCheck = [ "leanblueprint" ];

  meta = {

    description = "This plasTeX plugin allowing to write blueprints for Lean 4 projects";

    homepage = "https://github.com/PatrickMassot/leanblueprint";

    maintainers = with lib.maintainers; [ niklashh ];

    license = lib.licenses.asl20;

  };

}

{

  lib,

  buildPythonPackage,

  fetchFromGitHub,

  # build-system

  setuptools,

  # dependencies

  typing-extensions,

  pillow,

  jinja2,

  unidecode,

}:

buildPythonPackage {

  pname = "plasTeX";

  version = "3.1";

  pyproject = true;

  src = fetchFromGitHub {

    repo = "plastex";

    owner = "plastex";

    rev = "193747318f7ebadd19eaaa1e9996da42a31a2697"; # The same as what is published on PyPi for version 3.1. See <https://github.com/plastex/plastex/issues/386>

    hash = "sha256-Muuin7n0aPOZwlUaB32pONy5eyIjtPNb4On5gC9wOcQ=";

  };

  build-system = [ setuptools ];

  dependencies = [

    typing-extensions

    pillow

    jinja2

    unidecode

  ];

  meta = {

    description = "plasTeX is a Python package to convert LaTeX markup to DOM";

    homepage = "https://plastex.github.io/plastex/";

    maintainers = with lib.maintainers; [ niklashh ];

    license = lib.licenses.asl20;

  };

}

{

  lib,

  buildPythonPackage,

  fetchFromGitHub,

  # build-system

  setuptools,

  # dependencies

  pygraphviz,

  plasTeX,

}:

buildPythonPackage {

  pname = "plastexdepgraph";

  version = "0.0.4";

  pyproject = true;

  src = fetchFromGitHub {

    repo = "plastexdepgraph";

    owner = "PatrickMassot";

    rev = "0.0.4";

    hash = "sha256-Q13uYYZe1QgZHS4Nj8ugr+Fmhva98ttJj3AlXTK6XDw=";

  };

  build-system = [ setuptools ];

  dependencies = [

    pygraphviz

    plasTeX

  ];

  meta = {

    description = "plasTeX plugin allowing to build dependency graphs";

    homepage = "https://github.com/PatrickMassot/plastexdepgraph";

    maintainers = with lib.maintainers; [ niklashh ];

    license = lib.licenses.asl20;

  };

}

{

  lib,

  buildPythonPackage,

  fetchFromGitHub,

  # build-system

  setuptools,

  # dependencies

  plasTeX,

}:

buildPythonPackage {

  pname = "plastexshowmore";

  version = "0.0.2";

  pyproject = true;

  src = fetchFromGitHub {

    repo = "plastexshowmore";

    owner = "PatrickMassot";

    rev = "0.0.2";

    hash = "sha256-b45VHHEwFA41FaInDteix56O7KYDzyKiRRSl7heHqEA=";

  };

  build-system = [ setuptools ];

  dependencies = [ plasTeX ];

  meta = {

    description = "PlasTeX plugin for adding navigation buttons";

    homepage = "https://github.com/PatrickMassot/plastexshowmore";

    maintainers = with lib.maintainers; [ niklashh ];

    license = lib.licenses.asl20;

  };

}