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