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

[notify at aur.archlinux.org]

Request #18524 has been accepted automatically by the Arch User
Repository package request system:

The user diabonas deleted the package.