Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#72356 - [mypy] surpising package name
Attached to Project:
Community Packages
Opened by Martin Diehl (MartinDiehl) - Wednesday, 06 October 2021, 11:57 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:10 GMT
Opened by Martin Diehl (MartinDiehl) - Wednesday, 06 October 2021, 11:57 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:10 GMT
|
DetailsI was quite surprised that this package is called mypy and not python-mypy. My confusion even increased when I saw the package python-mypy_extensions.
Would it make sense to rename the package? Note: The package on Debian/Ubuntu is also called mypy. |
This task depends upon
Closed by Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:10 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/mypy/issues/1
Saturday, 25 November 2023, 20:10 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/mypy/issues/1
Comment by Filipe Laíns (FFY00) -
Sunday, 10 October 2021, 20:19 GMT
mypy is a program, python-mypy_extensions is a library, so the naming is correct.
Comment by Martin Diehl (MartinDiehl) -
Monday, 11 October 2021, 06:44 GMT
ok, thanks for the feedback
Comment by Morten Linderud (Foxboron) -
Friday, 22 October 2021, 21:15 GMT
I'm a bit torn. See `python-tox` and `python-black`. `python-mypy` would make a lot of sense as well and it's strictly tied to the python ecosystem.
Comment by Filipe Laíns (FFY00) -
Friday, 22 October 2021, 21:18 GMT
There are many inconsistencies in our repos, for eg. pyalpm is library and is not called python-pyalpm, but in this case it's a bit ambiguous, so I think you can do it either way.
Comment by Morten Linderud (Foxboron) -
Friday, 22 October 2021, 21:21 GMT
I think `pyalpm` belongs in the category of "predates the dinosaurs" and the current guidelines wasn't there when it was implemented.
Comment by Filipe Laíns (FFY00) -
Friday, 22 October 2021, 21:22 GMT
Still, it could, and IMO should, be renamed...
Comment by Morten Linderud (Foxboron) -
Friday, 22 October 2021, 21:24 GMT
Thats beside the point of this bugreport :)
Comment by Filipe Laíns (FFY00) -
Friday, 22 October 2021, 21:27 GMT
I am just pointing out that there are far greater inconsistencies, and in this case it even is ambiguous, so it could go either way.