mmdoublem [1] filed a deletion request for virtualbox-bin-dev [2]: Hi there, It has come to my attention that I named my package wrong. I am thus filing for deletion prior to resubmitting it with the right name. Best regards, Martin [1] https://aur.archlinux.org/account/mmdoublem/ [2] https://aur.archlinux.org/pkgbase/virtualbox-bin-dev/