[aur-requests] [PRQ#35700] Deletion Request for boot-vhdl-git