14 buildPythonPackage rec {
15 pname = "jupyter-server-fileid";
19 disables = pythonOlder "3.7";
21 src = fetchFromGitHub {
22 owner = "jupyter-server";
23 repo = "jupyter_server_fileid";
25 hash = "sha256-ob7hnqU7GdaDHEPF7+gwkmsboKZgiiLzzwxbBUwYHYo=";
28 build-system = [ hatchling ];
35 optional-dependencies = {
39 pythonImportsCheck = [ "jupyter_server_fileid" ];
50 __darwinAllowLocalNetworking = true;
53 changelog = "https://github.com/jupyter-server/jupyter_server_fileid/blob/${src.rev}/CHANGELOG.md";
54 description = "Extension that maintains file IDs for documents in a running Jupyter Server";
55 mainProgram = "jupyter-fileid";
56 homepage = "https://github.com/jupyter-server/jupyter_server_fileid";
57 license = lib.licenses.bsd3;
58 maintainers = with lib.maintainers; [ dotlambda ];