[aur-requests] [PRQ#18526] Merge Request for cocotb Accepted

Request #18526 has been accepted automatically by the Arch User Repository package request system: The user diabonas deleted the package.