pyrox.dev
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}:
20buildPythonPackage {
21 pname = "leanblueprint";
22 version = "0.0.18";
23 pyproject = true;
24
25 src = fetchFromGitHub {
26 repo = "leanblueprint";
27 owner = "PatrickMassot";
28 rev = "v0.0.18";
29 hash = "sha256-kikeLc0huJHe4Fq207U8sdRrH26bzpo+IVKjsLnrWgY=";
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}