pkgs/development/python-modules/jupyter-collaboration-ui/default.nix

   1 {
   2   lib,
   3   buildPythonPackage,
   4   fetchPypi,
   5   hatchling,
   6   hatch-jupyter-builder,
   7   jupyter-collaboration,
   8 }:
   9
  10 buildPythonPackage rec {
  11   pname = "jupyter-collaboration-ui";
  12   version = "1.1.0";
  13   pyproject = true;
  14
  15   src = fetchPypi {
  16     pname = "jupyter_collaboration_ui";
  17     inherit version;
  18     hash = "sha256-5TbKC6zhVVv6vaewUlL27ZP91R+ge/6wFBcKbGlVMHA=";
  19   };
  20
  21   postPatch = ''
  22     substituteInPlace pyproject.toml \
  23       --replace-fail ', "jupyterlab>=4.0.0"' ""
  24   '';
  25
  26   build-system = [
  27     hatchling
  28     hatch-jupyter-builder
  29   ];
  30
  31   pythonImportsCheck = [ "jupyter_collaboration_ui" ];
  32
  33   # no tests
  34   doCheck = false;
  35
  36   passthru.tests = jupyter-collaboration.tests;
  37
  38   meta = {
  39     description = "JupyterLab/Jupyter Notebook 7+ extension providing user interface integration for real time collaboration";
  40     homepage = "https://github.com/jupyterlab/jupyter-collaboration/tree/main/projects/jupyter-collaboration-ui";
  41     license = lib.licenses.bsd3;
  42     maintainers = lib.teams.jupyter.members;
  43   };
  44 }