News for hackers. Stuff that matters.

A comment on Mypy 1.6. Parent comment

Re:Mypy 1.6 by guappa on Wednesday October 18, 2023 @05:31AM (#37926513) 

    apt install pyright
    E: Unable to locate package pyright

    apt install mypy
    mypy is already the newest version (1.6.0-1).
[ Parent | on HN ]
Re:Mypy 1.6 by 0xFF0123 on Wednesday October 18, 2023 @05:56AM (#37926674)
https://pypi.org/project/pyright/
[ Parent | on HN ]
Re:Mypy 1.6 by jpk on Wednesday October 18, 2023 @12:12PM (#37930808) 

  poetry add pyright
:)
[ Parent | on HN ]
Re:Mypy 1.6 by guappa on Thursday October 19, 2023 @01:51AM (#37938986)
I tend to stick to things that are available in apt, so that my software is possible to distribute.
[ Parent | on HN ]