pkgs/development/python-modules/std2/default.nix

   1 { lib
   2 , buildPythonPackage
   3 , fetchFromGitHub
   4 , setuptools
   5 }:
   6
   7 buildPythonPackage {
   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 }