[aur-requests] [PRQ#18320] Deletion Request for cocotb-git