pyrox.dev
1{
2 lib,
3 buildPythonPackage,
4 fetchFromGitHub,
5 setuptools,
6}:
7
8buildPythonPackage {
9 pname = "std2";
10 version = "0-unstable-2025-02-06";
11 pyproject = true;
12
13 src = fetchFromGitHub {
14 owner = "ms-jpq";
15 repo = "std2";
16 rev = "47fda91f8c8db9d5a8faa6f55d739d74afffc440";
17 hash = "sha256-n+6FxVQjzYhjQMJr+i+D8uSiVjI7HFkegxy5keVjKGs=";
18 };
19
20 build-system = [ setuptools ];
21
22 pythonImportsCheck = [ "std2" ];
23
24 meta = {
25 homepage = "https://github.com/ms-jpq/std2";
26 description = "Dependency to chadtree and coq_nvim plugins";
27 license = lib.licenses.gpl3Plus;
28 maintainers = with lib.maintainers; [ GaetanLepage ];
29 };
30}