From bdb7b33b731d87e2bb904aa09797a50bc139ea5b Mon Sep 17 00:00:00 2001
From: Niklas Halonen <niklas.halonen@protonmail.com>
Date: Fri, 19 Jul 2024 20:26:25 +0300
Subject: [PATCH] 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 { };