Maintainer of the php-stan [1] package here. I once created a comment on the phpstan package [2], but never received any feedback. I agree that the packge should be named phpstan. But preferably even phpstan-bin, as it is not built from the source. I could create a new package named phpstan-bin and both phpstan and php-stan could be merged into that package. [1] https://aur.archlinux.org/pkgbase/php-stan/ [2] https://aur.archlinux.org/packages/phpstan#comment-791729 On Sat, Feb 25, 2023 at 5:18 PM <notify@aur.archlinux.org> wrote:
yan12125 [1] filed a request to merge php-stan [2] into phpstan [3]:
phpstan appears the official name. It appears as the domain name, the logo, the github repo name, the executable name, ... And I find only few mentions about "php-stan" on Google.
[1] https://aur.archlinux.org/account/yan12125/ [2] https://aur.archlinux.org/pkgbase/php-stan/ [3] https://aur.archlinux.org/pkgbase/phpstan/