[aur-requests] [PRQ#18823] Deletion Request for ghdl Accepted