tjh.dev
1{ lib
2, buildPythonPackage
3, fetchFromGitHub
4, setuptools
5}:
6
7buildPythonPackage {
8 pname = "std2";
9 version = "unstable-2023-07-09";
10
11 format = "pyproject";
12
13 src = fetchFromGitHub {
14 owner = "ms-jpq";
15 repo = "std2";
16 rev = "2d5594b40585ecae60ce5175bee68cc8b3085ee6";
17 hash = "sha256-phGIWow7PGOtS1Pre1Gz0Xg6izGp6BiUTmze5jI/BwY=";
18 };
19
20 nativeBuildInputs = [ setuptools ];
21
22 meta = with lib; {
23 homepage = "https://github.com/ms-jpq/std2";
24 description = "Dependency to chadtree and coq_nvim plugins";
25 license = licenses.gpl3Plus;
26 maintainers = with maintainers; [ GaetanLepage ];
27 };
28}