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

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