[aur-requests] [PRQ#16160] Deletion Request for htmldoc

notify at aur.archlinux.org notify at aur.archlinux.org
Tue Oct 1 20:08:42 UTC 2019


dbermond [1] filed a deletion request for htmldoc [2]:

The package was pushed to the [community] official repository.

[1] https://aur.archlinux.org/account/dbermond/
[2] https://aur.archlinux.org/pkgbase/htmldoc/


More information about the aur-requests mailing list