[aur-requests] [PRQ#18458] Deletion Request for cocotb

mox [1] filed a deletion request for cocotb [2]: There are now two more current packages, python-cocotb and python- cocotb-git, so this package is not needed anymore. [1] https://aur.archlinux.org/account/mox/ [2] https://aur.archlinux.org/pkgbase/cocotb/