python312Packages.std2: unstable-2023-10-07 -> 0-unstable-2024-09-02 (#342643)

buildPythonPackage {

  pname = "std2";

  version = "unstable-2023-10-07";

  version = "0-unstable-2024-09-02";

  pyproject = true;

  src = fetchFromGitHub {

    owner = "ms-jpq";

    repo = "std2";

    rev = "6332e559ee51c3a7c956804afdd7e1cc6ad47965";

    hash = "sha256-huN7P/Ws6anrFXDG7L5xxMenS25BHquV9cMi1s7WFJ4=";

    rev = "205d1f52e9b5438ef2b732c77e1144847cafa8d0";

    hash = "sha256-WdUefadEk92cGnDI+KbQBpjg+d7KgI6bjlQlyhRRRFA=";

  };

  nativeBuildInputs = [ setuptools ];

  meta = with lib; {

  meta = {

    homepage = "https://github.com/ms-jpq/std2";

    description = "Dependency to chadtree and coq_nvim plugins";

    license = licenses.gpl3Plus;

    maintainers = with maintainers; [ GaetanLepage ];

    license = lib.licenses.gpl3Plus;

    maintainers = with lib.maintainers; [ GaetanLepage ];

  };

}