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 :)