tjh.dev
1{
2 lib,
3 buildPythonPackage,
4 fetchFromGitHub,
5 pynvim,
6 setuptools,
7}:
8
9buildPythonPackage {
10 pname = "pynvim-pp";
11 version = "unstable-2024-07-31";
12 pyproject = true;
13
14 src = fetchFromGitHub {
15 owner = "ms-jpq";
16 repo = "pynvim_pp";
17 rev = "6d3c298b7eb9543bce7ab515b0a39f256c1d37ca";
18 hash = "sha256-W6YaxI/fa2HL6+FIBTTA+7K2Be02iuIfFFVO/hhYnpo=";
19 };
20
21 build-system = [ setuptools ];
22
23 dependencies = [ pynvim ];
24
25 meta = {
26 homepage = "https://github.com/ms-jpq/pynvim_pp";
27 description = "Dependency to chadtree and coq_nvim plugins";
28 license = lib.licenses.gpl3Plus;
29 maintainers = with lib.maintainers; [ GaetanLepage ];
30 };
31}