Index | Thread | Search

From:
Stuart Henderson <stu@spacehopper.org>
Subject:
Re: [new] py-rpds-py
To:
Daniel Dickman <didickman@gmail.com>
Cc:
ports@openbsd.org
Date:
Sun, 14 Apr 2024 01:39:17 +0100

Download raw body.

Thread
  • Daniel Dickman:

    [new] py-rpds-py

    • Stuart Henderson:

      [new] py-rpds-py

On 2024/04/09 18:50, Daniel Dickman wrote:
> Updating jupyter notebook needs jupyterlab 4+ which needs newer 
> jupyter_server.
> 
> So let's try update to the latest release of jupyter_server.
> 
> Let's start with py-rpds-py.
> 
> py-rpds-py is a less standard port than others so I'd like to get this one 
> in before doing a batch of pure Python ports. It depends on maturin for 
> the build similar to www/py-adblock.
> 
> Having this port in the tree will then being able to update 
> devel/py-jsonschema (which is also needs for the jupyter_server update).
> 
> ok to import?

Typo in COMMENT, otherwise OK.