Martin Weinelt d237a92e63 update-python-libraries: Fix some issues ...

discovered by ruff and pyright.

2023-05-07 12:23:52 +02:00

..

default.nix

…

update-python-libraries.py

update-python-libraries: Fix some issues

2023-05-07 12:23:52 +02:00