[PRQ#45689] Deletion Request for pocketsphinx-cmusphinx-git
MarsSeed [1] filed a deletion request for pocketsphinx-cmusphinx-git [2]: Duplicate created in 2022 of pocketsphinx-git (submitted in 2016). The 'cmusphinx' qualifier is superfluous, as it is the GitHub profile/project name which hosts the pocketsphinx repo, and the same is true for the pocketsphinx-git package as both use the same source. The older package has also used this same source from the start. So there was never a legitimate reason to create this 'fork' package. No AUR merge required, as this one has no comments or votes. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/pocketsphinx-cmusphinx-git/
Request #45689 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for pocketsphinx-cmusphinx-git. [1] https://aur.archlinux.org/account/muflone/
participants (1)
-
notify@aur.archlinux.org