kyechou [1] filed an orphan request for mininet [2]: The package is marked out-of-date for quite a while, and missing some dependencies. [1] https://aur.archlinux.org/account/kyechou/ [2] https://aur.archlinux.org/pkgbase/mininet/