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 <not...@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/
