From a07d062363bc74cac1dade6b970edb0030bbe25b Mon Sep 17 00:00:00 2001 From: Niklas Halonen Date: Thu, 18 Jul 2024 23:59:45 +0300 Subject: [PATCH 1/5] maintainers: add niklashh --- maintainers/maintainer-list.nix | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 5716dc7a271c..a4180ee9def7 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -14503,6 +14503,13 @@ 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"; From bd5255a137ca6b947f3a49c076d5cec04bebb343 Mon Sep 17 00:00:00 2001 From: Niklas Halonen Date: Fri, 19 Jul 2024 19:18:06 +0300 Subject: [PATCH 2/5] python312Packages.plasTeX: init at 3.1 --- .../python-modules/plasTeX/default.nix | 42 +++++++++++++++++++ pkgs/top-level/python-packages.nix | 2 + 2 files changed, 44 insertions(+) create mode 100644 pkgs/development/python-modules/plasTeX/default.nix diff --git a/pkgs/development/python-modules/plasTeX/default.nix b/pkgs/development/python-modules/plasTeX/default.nix new file mode 100644 index 000000000000..407918ec4042 --- /dev/null +++ b/pkgs/development/python-modules/plasTeX/default.nix @@ -0,0 +1,42 @@ +{ + 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 + 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; + }; +} diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index 4ead26c9e215..76e6ebee875b 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -10408,6 +10408,8 @@ self: super: with self; { plaster = callPackage ../development/python-modules/plaster { }; + plasTeX = callPackage ../development/python-modules/plasTeX { }; + plaster-pastedeploy = callPackage ../development/python-modules/plaster-pastedeploy { }; platformdirs = callPackage ../development/python-modules/platformdirs { }; From 8ca7bd846e0e75ecea1d3c2c2f0124e35743a88d Mon Sep 17 00:00:00 2001 From: Niklas Halonen Date: Fri, 19 Jul 2024 19:19:05 +0300 Subject: [PATCH 3/5] python312Packages.plastexdepgraph: init at 0.0.4 --- .../plastexdepgraph/default.nix | 38 +++++++++++++++++++ pkgs/top-level/python-packages.nix | 2 + 2 files changed, 40 insertions(+) create mode 100644 pkgs/development/python-modules/plastexdepgraph/default.nix diff --git a/pkgs/development/python-modules/plastexdepgraph/default.nix b/pkgs/development/python-modules/plastexdepgraph/default.nix new file mode 100644 index 000000000000..7fcc029ad97f --- /dev/null +++ b/pkgs/development/python-modules/plastexdepgraph/default.nix @@ -0,0 +1,38 @@ +{ + 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; + }; +} diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index 76e6ebee875b..143b16557fd1 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -10410,6 +10410,8 @@ self: super: with self; { plasTeX = callPackage ../development/python-modules/plasTeX { }; + plastexdepgraph = callPackage ../development/python-modules/plastexdepgraph { }; + plaster-pastedeploy = callPackage ../development/python-modules/plaster-pastedeploy { }; platformdirs = callPackage ../development/python-modules/platformdirs { }; From c46383a57c59a15d0931d0893b3bd52a7c9adfda Mon Sep 17 00:00:00 2001 From: Niklas Halonen Date: Fri, 19 Jul 2024 19:19:20 +0300 Subject: [PATCH 4/5] python312Packages.plastexshowmore: init at 0.0.2 --- .../plastexshowmore/default.nix | 35 +++++++++++++++++++ pkgs/top-level/python-packages.nix | 2 ++ 2 files changed, 37 insertions(+) create mode 100644 pkgs/development/python-modules/plastexshowmore/default.nix diff --git a/pkgs/development/python-modules/plastexshowmore/default.nix b/pkgs/development/python-modules/plastexshowmore/default.nix new file mode 100644 index 000000000000..907869829a03 --- /dev/null +++ b/pkgs/development/python-modules/plastexshowmore/default.nix @@ -0,0 +1,35 @@ +{ + 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; + }; +} diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index 143b16557fd1..e96de88c8ea5 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -10412,6 +10412,8 @@ self: super: with self; { plastexdepgraph = callPackage ../development/python-modules/plastexdepgraph { }; + plastexshowmore = callPackage ../development/python-modules/plastexshowmore { }; + plaster-pastedeploy = callPackage ../development/python-modules/plaster-pastedeploy { }; platformdirs = callPackage ../development/python-modules/platformdirs { }; From bdb7b33b731d87e2bb904aa09797a50bc139ea5b Mon Sep 17 00:00:00 2001 From: Niklas Halonen Date: Fri, 19 Jul 2024 20:26:25 +0300 Subject: [PATCH 5/5] python312Packages.leanblueprint: init at 0.0.10 --- .../python-modules/leanblueprint/default.nix | 54 +++++++++++++++++++ pkgs/top-level/python-packages.nix | 2 + 2 files changed, 56 insertions(+) create mode 100644 pkgs/development/python-modules/leanblueprint/default.nix diff --git a/pkgs/development/python-modules/leanblueprint/default.nix b/pkgs/development/python-modules/leanblueprint/default.nix new file mode 100644 index 000000000000..20a8a51b0a7d --- /dev/null +++ b/pkgs/development/python-modules/leanblueprint/default.nix @@ -0,0 +1,54 @@ +{ + 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; + }; +} diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index e96de88c8ea5..fda13de5e5cd 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -6711,6 +6711,8 @@ self: super: with self; { leather = callPackage ../development/python-modules/leather { }; + leanblueprint = callPackage ../development/python-modules/leanblueprint { }; + leb128 = callPackage ../development/python-modules/leb128 { }; led-ble = callPackage ../development/python-modules/led-ble { };