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
|
Details
I 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.