pyrox.dev
lol
python312Packages.leanblueprint: init at 0.0.10
+54
pkgs/development/python-modules/leanblueprint/default.nix
+54
pkgs/development/python-modules/leanblueprint/default.nix
···
1
+
{
2
+
lib,
3
+
buildPythonPackage,
4
+
fetchFromGitHub,
5
+
6
+
# build-system
7
+
setuptools,
8
+
9
+
# dependencies
10
+
plasTeX,
11
+
plastexshowmore,
12
+
plastexdepgraph,
13
+
click,
14
+
rich,
15
+
rich-click,
16
+
tomlkit,
17
+
jinja2,
18
+
gitpython,
19
+
}:
20
+
buildPythonPackage {
21
+
pname = "leanblueprint";
22
+
version = "0.0.10";
23
+
pyproject = true;
24
+
25
+
src = fetchFromGitHub {
26
+
repo = "leanblueprint";
27
+
owner = "PatrickMassot";
28
+
rev = "v0.0.10";
29
+
hash = "sha256-CUYdxEXgTf2vKDiOoeW4RV6tQ6prFhA4qMc0olZtZBM=";
30
+
};
31
+
32
+
build-system = [ setuptools ];
33
+
34
+
dependencies = [
35
+
plasTeX
36
+
plastexshowmore
37
+
plastexdepgraph
38
+
click
39
+
rich
40
+
rich-click
41
+
tomlkit
42
+
jinja2
43
+
gitpython
44
+
];
45
+
46
+
pythonImportsCheck = [ "leanblueprint" ];
47
+
48
+
meta = {
49
+
description = "This plasTeX plugin allowing to write blueprints for Lean 4 projects";
50
+
homepage = "https://github.com/PatrickMassot/leanblueprint";
51
+
maintainers = with lib.maintainers; [ niklashh ];
52
+
license = lib.licenses.asl20;
53
+
};
54
+
}
+2
pkgs/top-level/python-packages.nix
+2
pkgs/top-level/python-packages.nix
···
6711
6711
6712
6712
leather = callPackage ../development/python-modules/leather { };
6713
6713
6714
+
leanblueprint = callPackage ../development/python-modules/leanblueprint { };
6715
+
6714
6716
leb128 = callPackage ../development/python-modules/leb128 { };
6715
6717
6716
6718
led-ble = callPackage ../development/python-modules/led-ble { };