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

asyncial [1] filed a request to merge cocotb [2] into python-cocotb [3]: It's the same package, and the one with python in the front follows the naming conventions better and is more up-to-date. [1] https://aur.archlinux.org/account/asyncial/ [2] https://aur.archlinux.org/pkgbase/cocotb/ [3] https://aur.archlinux.org/pkgbase/python-cocotb/