1{
2 lib,
3 buildPythonPackage,
4 fetchPypi,
5 hatchling,
6 hatch-jupyter-builder,
7 jupyter-collaboration,
8}:
9
10buildPythonPackage rec {
11 pname = "jupyter-collaboration-ui";
12 version = "2.1.1";
13 pyproject = true;
14
15 src = fetchPypi {
16 pname = "jupyter_collaboration_ui";
17 inherit version;
18 hash = "sha256-eqPssYhFQMOi3MdPwCoGrYIMK8BN6HafQG2Gq6Ftn60=";
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;
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 teams = [ lib.teams.jupyter ];
43 };
44}