Le lundi 12 octobre 2020 à 12:50 +, Gordon Ball a écrit :
> On Mon, Oct 12, 2020 at 01:46:40PM +0200, Julien Puydt wrote:
> > I'm wondering if the source package shouldn't be named jupyterlab-
> > pygments instead of python-jupyterlab-pygments: there will be quite
> > a number of
On Mon, Oct 12, 2020 at 01:46:40PM +0200, Julien Puydt wrote:
> Package: wnpp
> Severity: wishlist
> X-Debbugs-CC: debian-pyt...@lists.debian.org
>
> * Package name : python-jupyterlab-pygments
> Version: 0.1.2
> Upstream author: Project Jupyter Contributors
> * URL :
Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-pyt...@lists.debian.org
* Package name : python-jupyterlab-pygments
Version: 0.1.2
Upstream author: Project Jupyter Contributors
* URL : https://github.com/jupyterlab/jupyterlab_pygments
* License : BSD-3-clause
3 matches
Mail list logo