12 buildPythonPackage rec {
13 pname = "jupyter-server-fileid";
16 disables = pythonOlder "3.7";
20 src = fetchFromGitHub {
21 owner = "jupyter-server";
22 repo = "jupyter_server_fileid";
23 rev = "refs/tags/v${version}";
24 hash = "sha256-3dwj8GV0FmbhSsC2uWOLcU5ofrvBBGJ/2F/noFh4RCU=";
31 propagatedBuildInputs = [
36 pythonImportsCheck = [ "jupyter_server_fileid" ];
48 changelog = "https://github.com/jupyter-server/jupyter_server_fileid/blob/${src.rev}/CHANGELOG.md";
49 description = "An extension that maintains file IDs for documents in a running Jupyter Server";
50 homepage = "https://github.com/jupyter-server/jupyter_server_fileid";
51 license = lib.licenses.bsd3;
52 maintainers = with lib.maintainers; [ dotlambda ];