gnu: Add python-jupyterlab-pygments.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 13 Apr 2021 06:38:26 +0000 (08:38 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 13 Apr 2021 11:41:17 +0000 (13:41 +0200)
commit95456c2fc9440bc7aa7657a0360486d6d74336da
treee2a172dcc676e5c7e3c55ddcc884b914144317f3
parent2043e7bfc8786a4831247da7095c1e623ad1c4d0
gnu: Add python-jupyterlab-pygments.

* gnu/packages/jupyter.scm (python-jupyterlab-pygments): New variable.
gnu/packages/jupyter.scm