10 Feb
2018
10 Feb
'18
12:41 a.m.
On 09/02/18 15:13, Rafael Fontenelle wrote:
I don't see it as mandatory, but if I was the maintainer of this development package I would do as the developer says and request package deletion.
In order to request deletion, you use the menu at the right of your package's page in AUR, "Submit request", select the proper type and provide the reasoning.
FYI: https://wiki.archlinux.org/index.php/AUR#Other_requests
Best regards, Rafael Fontenelle
Thank you. That is what I have done. I did look for a 'delete' option; I did not think it would be a sub-option of 'submit request'. But then it is Friday :)