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/